Public Git Hosting - hsdpll.git/search

2008-10-09	Dionysus Blazakis	Tracked down a bunch of horribly stupid bugs (I should...	commit \| commitdiff \| tree
2008-10-08	Dionysus Blazakis	On the way to monadizing the other piece to take advantage...	commit \| commitdiff \| tree
2008-10-08	Dionysus Blazakis	Removed older version of some Monadic stuff.	commit \| commitdiff \| tree
2008-10-08	Dionysus Blazakis	Huzzah, part of it converted to monadic style	commit \| commitdiff \| tree
2008-10-08	Dionysus Blazakis	Rename some of the variables to make it less ugly.	commit \| commitdiff \| tree
2008-10-07	Dionysus Blazakis	Use a map for the variable bindings, cut down accesses.	commit \| commitdiff \| tree
2008-10-07	Dionysus Blazakis	Fixed the watchlist updating to update the clause for...	commit \| commitdiff \| tree
2008-10-07	Dionysus Blazakis	- Add the (buggy) monadified version	commit \| commitdiff \| tree
2008-10-06	Dionysus Blazakis	Initial commit	commit \| commitdiff \| tree

Simple SAT Solver in Haskell