projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 612fc43) | patch
Add Sort.java to the java API (#6382)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Wed, 29 Sep 2021 00:30:24 +0000 (19:30 -0500)
committerGitHub <noreply@github.com>
Wed, 29 Sep 2021 00:30:24 +0000 (00:30 +0000)
commitd84c92f254c722c0307267a866a5a3e8430bcd35
treeda7ea5b006737e306588500ed88b03214e171c3ctree
parent612fc435338b689458b9c73d6aebf0476fee9af4commit | diff
Add Sort.java to the java API (#6382)

This adds Sort.java SortTest.java and cvc5_Sort.cpp to the java api.
src/api/java/cvc5/Sort.java [new file with mode: 0644] blob
src/api/java/jni/cvc5_Sort.cpp [new file with mode: 0644] blob
test/unit/api/java/cvc5/SortTest.java [new file with mode: 0644] blob