projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 546e6ac) | patch
Bug fixes and improvements for symmetry breaking, it now supports multiple sorts...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 30 Sep 2013 15:14:32 +0000 (10:14 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 30 Sep 2013 15:14:42 +0000 (10:14 -0500)
commit0c2eafec69b694a507ac914bf285fe0574be085f
tree0f3601964ee8f883c93d506f1f0476e5888936aetree
parent546e6aca016ea1f9b7da0bcfda5bed833a7a13eccommit | diff
Bug fixes and improvements for symmetry breaking, it now supports multiple sorts.  Working on monotonicity inference.
src/theory/quantifiers/symmetry_breaking.cpp diff | blob | history
src/theory/quantifiers/symmetry_breaking.h diff | blob | history
src/theory/uf/theory_uf_strong_solver.cpp diff | blob | history
src/util/sort_inference.cpp diff | blob | history
src/util/sort_inference.h diff | blob | history