Clifford Wolf
|
3fc6c9aac6
|
Fixed ezminisat C++ errors: undef PRIi64
|
2013-10-30 17:25:39 +01:00 |
|
Clifford Wolf
|
a97520785a
|
Fixed minisat include
|
2013-10-11 21:17:01 +02:00 |
|
Clifford Wolf
|
f519297da9
|
Fixed gcc warnings in ezminisat
|
2013-07-05 15:00:20 +02:00 |
|
Clifford Wolf
|
8fbb5b6240
|
Added timout functionality to SAT solver
|
2013-06-20 12:49:10 +02:00 |
|
Clifford Wolf
|
41932e8b64
|
Added ezSAT api support for don't care values in models
|
2013-06-09 14:21:18 +02:00 |
|
Clifford Wolf
|
25ae2d4df0
|
Fixes and improvements in ezSAT library
|
2013-06-08 12:14:20 +02:00 |
|
Clifford Wolf
|
3371563f2f
|
Added ezSAT library
|
2013-06-07 10:38:35 +02:00 |
|