projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69c092f) | patch
Add cvc parsing support for cardinality constraints. Bug fix for enumerating element...
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 12 Dec 2014 11:03:26 +0000 (12:03 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 12 Dec 2014 11:03:32 +0000 (12:03 +0100)
commitfafb7f90f35941a72957dcc9ca5e45afd066cf04
treefa53d7bacd16dcfce96f9a3ce5f994dfcb980bedtree
parent69c092f9e2ac6d9628f4de3e0038c1f021b3c7c6commit | diff
Add cvc parsing support for cardinality constraints.  Bug fix for enumerating elements to meet cardinality lower bounds.
src/parser/cvc/Cvc.g diff | blob | history
src/theory/uf/theory_uf_strong_solver.cpp diff | blob | history