Age | Commit message (Expand) | Author |
---|---|---|
2013-03-29 | removing cryptominisat since we're not using it | Dejan Jovanović |
2012-04-17 | Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo... | Tim King |
2012-04-04 | * added propagation as lemmas to TheoryBV: | Liana Hadarean |
2012-03-29 | bringing cryptominisat into the main branch | Dejan Jovanović |