projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7ac0a4) | patch
Java and python unit tests for mkCardinalityConstraint (#7486)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 25 Oct 2021 20:23:31 +0000 (15:23 -0500)
committerGitHub <noreply@github.com>
Mon, 25 Oct 2021 20:23:31 +0000 (20:23 +0000)
commitf3a2e3814d0a3f32fe1e9e24de954bc2d9ff999e
tree280e1b9e1faee698bbfd9d7bb53670f03769f073tree
parentd7ac0a4acba9254b082effec1f7297033bd5c487commit | diff
Java and python unit tests for mkCardinalityConstraint (#7486)

Adds leftover missing unit tests for new API call for mkCardinalityConstraint from eeb78c8.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Solver.java diff | blob | history
src/api/java/jni/solver.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/python/unit/api/test_solver.py diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history