projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef34330) | patch
Change interface for printing instantiations in the API (#8251)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 9 Mar 2022 14:58:27 +0000 (08:58 -0600)
committerGitHub <noreply@github.com>
Wed, 9 Mar 2022 14:58:27 +0000 (14:58 +0000)
commitaf930471df9bfe02d8848e1dc1a1eda47dbe8cbe
tree84a0ed64949480b0a7af81ab7683ec0dd24ae031tree
parentef343301d4a6d424e6cc9630ac6932906b0a354acommit | diff
Change interface for printing instantiations in the API (#8251)

Furthermore note that this should take several modes, similar to the discussion with `blockModel` / `getLearnedLiterals`.  It is currently limited to a fixed print mode.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Solver.java diff | blob | history
src/api/java/jni/solver.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
src/smt/command.cpp diff | blob | history