2 commits

Author	SHA1	Message	Date
Clifford Wolf	d2d48996c4	minisat compile fix	2014-04-20 14:17:40 +02:00
Clifford Wolf	94c1307c26	Added libs/minisat (copy of minisat git master)	2014-03-12 10:17:51 +01:00