projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6255b70) | patch
Add Op.java to the java API (#6387)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 10 Sep 2021 03:28:48 +0000 (22:28 -0500)
committerGitHub <noreply@github.com>
Fri, 10 Sep 2021 03:28:48 +0000 (03:28 +0000)
commit80d5885363f12df98bfa46f76cc9594e56a25197
treedb4638ad7bb1aa70488a37e637ef26c01228eda4tree
parent6255b7045c9e21066eb48cead218e44f7add5826commit | diff
Add Op.java to the java API (#6387)

This commit adds Op.java OpTest.java and cvc5_Op.cpp to the java api.
src/api/java/cvc5/Op.java [new file with mode: 0644] blob
src/api/java/jni/cvc5_Op.cpp [new file with mode: 0644] blob
test/unit/api/java/cvc5/OpTest.java [new file with mode: 0644] blob