projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
(proof-new) Updates to SMT proof manager and SmtEngine (#5446)
[cvc5.git] / src / prop / kissat.cpp
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw
2020-09-01 Haniel BarbosaRemoves old proof code (#4964) blob | commitdiff | raw | diff to current
2020-05-22 Aina NiemetzAdd support for SAT solver Kissat. (#4514) blob | commitdiff | raw | diff to current