Programming Languages Research Group: Git

2015-03-09	bdemsky	terminate on reading 0 bytes	commit \| commitdiff \| tree
2015-01-30	Brian Demsky	less verbose	commit \| commitdiff \| tree
2015-01-24	Brian Demsky	edits	commit \| commitdiff \| tree
2014-12-31	bdemsky	fix bug with zombie sat solver processes	commit \| commitdiff \| tree
2014-12-31	bdemsky	edits	commit \| commitdiff \| tree
2014-12-31	bdemsky	incremental support	commit \| commitdiff \| tree
2014-12-31	bdemsky	update test case	commit \| commitdiff \| tree
2014-12-31	bdemsky	bug fix	commit \| commitdiff \| tree
2014-12-31	bdemsky	bugfix	commit \| commitdiff \| tree
2014-12-31	bdemsky	edit	commit \| commitdiff \| tree
2014-12-31	bdemsky	add backend for zchaff	commit \| commitdiff \| tree
2014-12-31	bdemsky	commits	commit \| commitdiff \| tree
2014-12-31	bdemsky	Incremental frontend for glucose solver	commit \| commitdiff \| tree
2014-12-31	bdemsky	Test case	commit \| commitdiff \| tree
2014-12-31	bdemsky	edits	commit \| commitdiff \| tree
2014-12-31	bdemsky	factor out common constants	commit \| commitdiff \| tree
2014-12-31	bdemsky	Add incremental solver class	commit \| commitdiff \| tree
2014-12-25	bdemsky	Initial checkin of SAT solvers	commit \| commitdiff \| tree

SAT Solver Library