| commit | a5d65ff1c4deb0bb7cefd7065237987d6bece441 | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Thu, 25 Mar 2010 21:42:17 +0000 (25 21:42 +0000) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Thu, 25 Mar 2010 21:42:17 +0000 (25 21:42 +0000) | ||
| tree | e0afebdec9a66b4c93adb58443183e835742f898 | treesnapshot (tar.gz zip) |
| parent | 774f9870fdc01a7133f12419d186fbb76a04cfba | commitdiff |
Added backtracing to SAT solver
| tests/testsat.py | diffblobblamehistory | |
| zeroinstall/injector/sat.py | diffblobblamehistory |