Age | Commit message (Expand) | Author |
---|---|---|
2012-08-19 | 1. Fix for inst_match.cpp to allow compilation on fedora | Clark Barrett |
2012-07-31 | Moving some instantiation-related stuff from src/theory to src/theory/quantif... | Morgan Deters |
index : cvc5.git | ||
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2012-08-19 | 1. Fix for inst_match.cpp to allow compilation on fedora | Clark Barrett |
2012-07-31 | Moving some instantiation-related stuff from src/theory to src/theory/quantif... | Morgan Deters |