March 9, 2015
View 62e3101

bug fix

bdemsky authored on 09/03/2015 22:13:13
View 00598b7

terminate on reading 0 bytes

bdemsky authored on 09/03/2015 22:02:40
January 30, 2015
View b5b7858

less verbose

Brian Demsky authored on 30/01/2015 12:20:11
January 24, 2015
View a6e9030

edits

Brian Demsky authored on 24/01/2015 05:09:56
December 31, 2014
View 7a84c4b

fix bug with zombie sat solver processes

bdemsky authored on 31/12/2014 14:22:50
View 6ff4089

edits

bdemsky authored on 31/12/2014 14:14:13
View 3f0fa25

incremental support

bdemsky authored on 31/12/2014 14:07:26
View 5ac92c1

update test case

bdemsky authored on 31/12/2014 13:17:49
View 13e5f2c

bug fix

bdemsky authored on 31/12/2014 13:05:39
View 33cbe1e

bugfix

bdemsky authored on 31/12/2014 12:42:55
View 4ae0749

edit

bdemsky authored on 31/12/2014 08:49:00
View 9bdf7d1

add backend for zchaff

bdemsky authored on 31/12/2014 08:46:03
View bd97f90

commits

bdemsky authored on 31/12/2014 08:12:45
View f43befe

Incremental frontend for glucose solver

bdemsky authored on 31/12/2014 08:11:17
View 86725bc

Test case

bdemsky authored on 31/12/2014 08:10:30