4 commits

Author	SHA1	Message	Date
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	30774ec6bc	Improved ezsat stand-alone tests	2014-05-06 13:48:25 +02:00
Clifford Wolf	56b593b91c	Improved sat generator and sat_solve pass	2013-06-07 14:37:33 +02:00
Clifford Wolf	3371563f2f	Added ezSAT library	2013-06-07 10:38:35 +02:00