Programming Languages Research Group: Git - satlib.git/atom - zchaff64/zminimal.cpp historySAT Solver Libraryhttp://plrg.eecs.uci.edu/git/?p=satlib.gitBrian Demskystatic/git-favicon.pngstatic/git-logo.png2014-12-25T00:52:58ZgitwebInitial checkin of SAT solvers2014-12-25T00:52:58Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2014-12-25T00:52:58Zhttp://plrg.eecs.uci.edu/git/?p=satlib.git;a=commitdiff;h=2a2773f34377209db0fa76baf83c62d55b9b3110