8 Commits

Author	SHA1	Message	Date
Clifford Wolf	11e8118589	Added ezsat vec_const() api	2013-11-25 15:10:32 +01:00
Clifford Wolf	457dc09cdc	Added ezsat api for creation of anonymous vectors	2013-08-15 14:40:26 +02:00
Clifford Wolf	ccf36cb7d8	Added SAT support for $div and $mod cells	2013-08-11 16:27:15 +02:00
Clifford Wolf	8fbb5b6240	Added timout functionality to SAT solver	2013-06-20 12:49:10 +02:00
Clifford Wolf	1bee82ae2d	Fixed gcc build (c++11 stuff in ezSAT)	2013-06-12 10:18:01 +02:00
Clifford Wolf	25ae2d4df0	Fixes and improvements in ezSAT library	2013-06-08 12:14:20 +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