projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e7128b) | patch
Add information for cardinality constraint to the API (#8422)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 29 Mar 2022 18:57:07 +0000 (13:57 -0500)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 18:57:07 +0000 (18:57 +0000)
commit6c64864fc261a9849ddbb7595af7ae9a69466291
tree38f174a95fe7479a9be84c2a1ea8f8b6703d80f1tree
parent0e7128b8effd4cc0002641ba545075a1ac346370commit | diff
Add information for cardinality constraint to the API (#8422)

Python API is not implemented yet, as it requires new infrastructure for returning pairs.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Term.java diff | blob | history
src/api/java/jni/term.cpp diff | blob | history
test/unit/api/cpp/term_black.cpp diff | blob | history
test/unit/api/java/TermTest.java diff | blob | history