| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-02-27 | - Adds a path for Theory to be passed a reference to Options. | Tim King |
| 2011-02-24 | - Adds an additional round of checks for a conflict after the difference heur... | Tim King |
| 2011-02-24 | - Adds an additional mode to ArithPriorityQueue, Collection. Collection is a ... | Tim King |
| 2011-02-24 | - Changes ArithPriorityQueue to use stl::vector<>'s plus stl's heap algorithm... | Tim King |
| 2011-02-21 | - Adds the ArithPriorityQueue class. The ArithPriorityQueue class provides an... | 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