| commit | b827c7b1f005d2f0fecb170b5572da002bf845ba | |
| author | Dionysus Blazakis <dion@semantiscope.com> | |
| Thu, 9 Oct 2008 22:09:02 +0000 (9 18:09 -0400) | ||
| committer | Dionysus Blazakis <dion@semantiscope.com> | |
| Thu, 9 Oct 2008 22:09:02 +0000 (9 18:09 -0400) | ||
| tree | 8db3880c166ce86fc41a0e4165634dc3d7e90223 | treesnapshot (tar.gz zip) |
| parent | 1cea8356cba4ae6a38c5fcaf06f46f6206fcb092 | commitdiff |
Tracked down a bunch of horribly stupid bugs (I should be shot for
choosing decision and literals to be the same type!) -- Appears to work!
choosing decision and literals to be the same type!) -- Appears to work!
| DPLL.lhs | diffblobblamehistory |