descriptionSAT Solver Library
ownerBrian Demsky
last changeFri, 14 Jun 2019 03:06:42 +0000 (20:06 -0700)
shortlog
2019-06-14 Hamed GorjiaraAdding support for reading wrong assumptions master
2015-03-09 bdemskybug fix
2015-03-09 bdemskyterminate on reading 0 bytes
2015-01-30 Brian Demskyless verbose
2015-01-24 Brian Demskyedits
2014-12-31 bdemskyfix bug with zombie sat solver processes
2014-12-31 bdemskyedits
2014-12-31 bdemskyincremental support
2014-12-31 bdemskyupdate test case
2014-12-31 bdemskybug fix
2014-12-31 bdemskybugfix
2014-12-31 bdemskyedit
2014-12-31 bdemskyadd backend for zchaff
2014-12-31 bdemskycommits
2014-12-31 bdemskyIncremental frontend for glucose solver
2014-12-31 bdemskyTest case
...
heads
2 years ago master