Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-05-18 | This commit removes the dead psuedoboolean code. | Tim King | |
2011-11-15 | additional minor changes to get python binding on better footing | Morgan Deters | |
2011-09-02 | Partial merge of integers work; this is simple B&B and some pseudoboolean | Morgan Deters | |
infrastructure, and takes care not to affect CVC4's performance on LRA benchmarks. |