Age | Commit message (Expand) | Author |
---|---|---|
2012-03-25 | sat_module.h,cpp -> sat_solver.h,cpp (as intended) | Dejan Jovanović |
2012-03-22 | Merged updated version of the bitvector theory: | Liana Hadarean |
2012-02-25 | Refactored CnfStream to work with the bv theory Bitblaster: | Liana Hadarean |