Age | Commit message (Expand) | 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 |