| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-03-21 | Refactor mkoptions (#1631) | Mathias Preiner |
| 2016-10-05 | Added an option that allow empty dependencies when attempting to minimize pre... | guykatzz |
| 2016-08-11 | Add support for fewer preprocessing holes | Andres Notzli |
| 2016-07-27 | Added an option for a more aggressive weakest implicant optimization | Guy |
| 2016-06-08 | LFSC letification is true by default | Guy |
| 2016-06-08 | Support for printing a global let map in LFSC proofs. | Guy |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback