terminate on reading 0 bytes2015-03-09T22:02:40Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2015-03-09T22:02:40Zhttp://plrg.eecs.uci.edu/git/?p=satlib.git;a=commitdiff;h=00598b79d3bc3d604a611ccd19a0f23f5f997597
add backend for zchaff2014-12-31T08:46:03Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2014-12-31T08:46:03Zhttp://plrg.eecs.uci.edu/git/?p=satlib.git;a=commitdiff;h=9bdf7d18433a3c0cde7429a013ef67fe75081ec7