projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59d935b) | patch
Add Solver.java to the Java API (#6196)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Tue, 18 May 2021 06:18:23 +0000 (01:18 -0500)
committerGitHub <noreply@github.com>
Tue, 18 May 2021 06:18:23 +0000 (06:18 +0000)
commitc781d274fbaf6f4b3e419140c5834511d6b7c7a0
tree66b2a214b02b2a12f988b8b83a9463ee1b9b5a43tree
parent59d935b0210fe20cdddf5de2be91bb26a66d05fbcommit | diff
Add Solver.java to the Java API (#6196)

PR changes:

    Add Solver.java and relation JNI c files
    Update FindJUnit to download JUnit5
    Add Java unit tests
13 files changed:
cmake/FindJUnit.cmake diff | blob | history
src/api/java/CMakeLists.txt diff | blob | history
src/api/java/cvc5/CVC5ApiException.java [new file with mode: 0644] blob
src/api/java/cvc5/CVC5ApiRecoverableException.java [new file with mode: 0644] blob
src/api/java/cvc5/IPointer.java [new file with mode: 0644] blob
src/api/java/cvc5/Solver.java [new file with mode: 0644] blob
src/api/java/cvc5/Utils.java [new file with mode: 0644] blob
src/api/java/genkinds.py.in diff | blob | history
src/api/java/jni/cvc5JavaApi.h [new file with mode: 0644] blob
src/api/java/jni/cvc5_Solver.cpp [new file with mode: 0644] blob
test/unit/api/CMakeLists.txt diff | blob | history
test/unit/api/java/CMakeLists.txt [new file with mode: 0644] blob
test/unit/api/java/cvc5/SolverTest.java [new file with mode: 0644] blob