projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add the symmetry breaker module (#1847)
[cvc5.git] / src / options / smt_options.toml
2018-05-09 PaulMengAdd the symmetry breaker module (#1847) blob | commitdiff | raw
2018-04-30 Haniel BarbosaRefactor real2int (#1813) blob | commitdiff | raw | diff to current
2018-04-20 PaulMengSymmetry detection module (#1749) blob | commitdiff | raw | diff to current
2018-03-21 Mathias PreinerRefactor mkoptions (#1631) blob | commitdiff | raw | diff to current