Public Git Hosting - hsdpll.git/summary

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork

description	Simple SAT Solver in Haskell
owner	dion.blazakis@gmail.com
last change	Fri, 10 Oct 2008 04:30:33 +0000 (10 00:30 -0400)
URL	git://repo.or.cz/hsdpll.git
	https://repo.or.cz/hsdpll.git
push URL	ssh://repo.or.cz/hsdpll.git
	https://repo.or.cz/hsdpll.git ^{(learn more)}
bundle info	hsdpll.git downloadable bundles
content tags	add:

readme

An implementation of the MiniSAT architecture in Haskell. It is based on the DPLL algorithm (conflict driven backtracking) with watched literals and, eventually, dynamic variable ordering.

2008-10-10	Dion Blazakis	Clean up traces.master	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-09	Dionysus Blazakis	Tracked down a bunch of horribly stupid bugs (I should...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-09	Dion Blazakis	More monad reorganization	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-08	Dionysus Blazakis	On the way to monadizing the other piece to take advant...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-08	Dionysus Blazakis	Removed older version of some Monadic stuff.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-08	Dionysus Blazakis	Huzzah, part of it converted to monadic style	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-08	Dionysus Blazakis	Rename some of the variables to make it less ugly.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-08	Dion Blazakis	Lots of code re-organization	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-07	Dionysus Blazakis	Use a map for the variable bindings, cut down accesses.	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-07	Dionysus Blazakis	Fixed the watchlist updating to update the clause for...	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-07	Dionysus Blazakis	- Add the (buggy) monadified version	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2008-10-06	Dionysus Blazakis	Initial commit	commit \| commitdiff \| tree \| snapshot (tar.gz zip)

15 years ago

Simple SAT Solver in Haskell