git.libre-soc.org Git - cvc5.git/history - src/prop/minisat/minisat.cpp

[cvc5.git] / src / prop / minisat / minisat.cpp

2014-03-11	Morgan Deters	Fix some Win32 and SMT-LIB compliance bugs discovered...	blob \| commitdiff \| raw
2013-11-06	Tianyi Liang	Merge branch 'master' of github.com:tiliang/CVC4	blob \| commitdiff \| raw \| diff to current
2013-11-04	lianah	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2013-10-08	lianah	fixed uf proof with holes bugs	blob \| commitdiff \| raw \| diff to current
2013-04-03	Dejan Jovanović	* changing the bitblast-eager to bitblast on pre-register	blob \| commitdiff \| raw \| diff to current
2012-11-26	Dejan Jovanović	fixup for incremental solving	blob \| commitdiff \| raw \| diff to current
2012-09-12	Morgan Deters	Adding model assertions after SAT responses.	blob \| commitdiff \| raw \| diff to current
2012-07-31	Morgan Deters	Options merge. This commit:	blob \| commitdiff \| raw \| diff to current
2012-06-11	Morgan Deters	Merge from quantifiers2-trunkmerge branch.	blob \| commitdiff \| raw \| diff to current
2012-06-08	Kshitij Bansal	Merge from decision branch (till r3663)	blob \| commitdiff \| raw \| diff to current
2012-05-09	Dejan Jovanović	* simplifying equality engine interface	blob \| commitdiff \| raw \| diff to current
2012-04-23	Kshitij Bansal	Merge from decision branch -- partially working justifi...	blob \| commitdiff \| raw \| diff to current
2012-03-28	Dejan Jovanović	Some renaming and refactoring in SAT	blob \| commitdiff \| raw \| diff to current
2012-03-26	Dejan Jovanović	More cleaning up.	blob \| commitdiff \| raw \| diff to current
2012-03-26	Dejan Jovanović	more datail from the build failure	blob \| commitdiff \| raw \| diff to current
2012-03-25	Dejan Jovanović	moving minisat implementation into their respective...	blob \| commitdiff \| raw \| diff to current

RSS Atom