projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 774b083) | patch
Add SynthResult to the API (#8370)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 23 Mar 2022 21:56:33 +0000 (16:56 -0500)
committerGitHub <noreply@github.com>
Wed, 23 Mar 2022 21:56:33 +0000 (21:56 +0000)
commitba24986fe2d56e6664dc9aa72bb35e73b0a469fe
tree7520686d44c384a7d22210e15b2c7b03e4255e83tree
parent774b08351672eedee89e8cb4eba41e3c012bb777commit | diff
Add SynthResult to the API (#8370)

Does not modify the code to return a SynthResult yet, just adds the class.

Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
20 files changed:
docs/api/cpp/cpp.rst diff | blob | history
docs/api/cpp/synthresult.rst [new file with mode: 0644] blob
docs/api/java/java.rst diff | blob | history
docs/api/python/base/python.rst diff | blob | history
docs/api/python/base/synthresult.rst [new file with mode: 0644] blob
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/io/github/cvc5/api/Solver.java diff | blob | history
src/api/java/io/github/cvc5/api/SynthResult.java [new file with mode: 0644] blob
src/api/java/jni/solver.cpp diff | blob | history
src/api/java/jni/synth_result.cpp [new file with mode: 0644] blob
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/cpp/CMakeLists.txt diff | blob | history
test/unit/api/cpp/synth_result_black.cpp [new file with mode: 0644] blob
test/unit/api/java/CMakeLists.txt diff | blob | history
test/unit/api/java/SynthResultTest.java [new file with mode: 0644] blob
test/unit/api/python/CMakeLists.txt diff | blob | history
test/unit/api/python/test_synth_result.py [new file with mode: 0644] blob