Programming Languages Research Group: Git

description	SAT Solver Library
owner	Brian Demsky
last change	Fri, 14 Jun 2019 03:06:42 +0000 (20:06 -0700)
URL	git://plrg.ics.uci.edu/satlib.git
	ssh://plrg.ics.uci.edu/home/git/satlib.git

2019-06-14	Hamed Gorjiara	Adding support for reading wrong assumptions master	commit \| commitdiff \| tree \| snapshot
2015-03-09	bdemsky	bug fix	commit \| commitdiff \| tree \| snapshot
2015-03-09	bdemsky	terminate on reading 0 bytes	commit \| commitdiff \| tree \| snapshot
2015-01-30	Brian Demsky	less verbose	commit \| commitdiff \| tree \| snapshot
2015-01-24	Brian Demsky	edits	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	fix bug with zombie sat solver processes	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	incremental support	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	update test case	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	bug fix	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	bugfix	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	edit	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	add backend for zchaff	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	commits	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	Incremental frontend for glucose solver	commit \| commitdiff \| tree \| snapshot
2014-12-31	bdemsky	Test case	commit \| commitdiff \| tree \| snapshot
...

5 years ago

SAT Solver Library