| commit | 774f9870fdc01a7133f12419d186fbb76a04cfba | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Tue, 23 Mar 2010 21:54:45 +0000 (23 21:54 +0000) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Wed, 24 Mar 2010 22:03:54 +0000 (24 22:03 +0000) | ||
| tree | 4e204cc9fa12d69d1bdefd7c48e5901d5e105a21 | treesnapshot (tar.gz zip) |
| parent | 6bdde79c9f452aa72eff9e2470c17b638c4f79aa | commitdiff |
Started implementing SAT solver in Python
Doesn't handle conflicts/back-tracking yet, but does handle all the cases in
testsat.py!
Doesn't handle conflicts/back-tracking yet, but does handle all the cases in
testsat.py!
| tests/testsat.py | diffblobblamehistory | |
| tests/testsolver.py | diffblobblamehistory | |
| zeroinstall/injector/sat.py | diffblobblamehistory | |
| zeroinstall/injector/solver.py | diffblobblamehistory |