projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 738f38b) | patch
Add missing methods to Solver.java (#7299)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 22 Oct 2021 00:22:00 +0000 (19:22 -0500)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 00:22:00 +0000 (00:22 +0000)
commitf9de5395d78bc5338ca800e539e91795730cbd29
tree4dc2f28888490dd1cd6bd99511ce9fc8c13a0a17tree
parent738f38bf6b5f2cf6a5812c056ae6f771bffb42e6commit | diff
Add missing methods to Solver.java (#7299)

A life of solver object was simple before summer. Then it got complicated with getDifficulty, optional proofs getProof, more assumptions addSygusAssume, and finally different options to choose from OptionInfo.
This PR attempts to prepare solver objects for this new life.
src/api/cpp/cvc5.h diff | blob | history
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/cvc5/CVC5ApiOptionException.java [new file with mode: 0644] blob
src/api/java/cvc5/DatatypeSelector.java diff | blob | history
src/api/java/cvc5/OptionInfo.java [new file with mode: 0644] blob
src/api/java/cvc5/Solver.java diff | blob | history
src/api/java/jni/cvc5JavaApi.cpp [new file with mode: 0644] blob
src/api/java/jni/cvc5JavaApi.h diff | blob | history
src/api/java/jni/cvc5_OptionInfo.cpp [new file with mode: 0644] blob
src/api/java/jni/cvc5_Solver.cpp diff | blob | history
test/unit/api/java/cvc5/SolverTest.java diff | blob | history