| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-05-16 | configure fix for building with glpk on redhat, perhaps others | Morgan Deters |
| 2013-05-06 | Removing excess verbosity from ApproxSimplex (after discussing with Tim) | Morgan Deters |
| 2013-05-06 | Adding a heuristic for guessing an optimization function when using glpk. | Tim King |
| 2013-05-05 | Adding cut offs for likely integer infeasible paths. | Tim King |
| 2013-05-03 | Adding a smarter technique for pivoting in solutions for glpk. | Tim King |
| 2013-05-03 | Code cleanup. Reducing misc. warnings in arithmetic. | Tim King |
| 2013-04-26 | FCSimplex branch merge | 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