| commit | 4bf3a8b67fcf54d6037dd0937aed57a0db555538 | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Thu, 25 Mar 2010 22:10:11 +0000 (25 22:10 +0000) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Thu, 25 Mar 2010 22:10:11 +0000 (25 22:10 +0000) | ||
| tree | 235e47ed45fe313186157b3de62975fd7ca3651d | treesnapshot (tar.gz zip) |
| parent | a5d65ff1c4deb0bb7cefd7065237987d6bece441 | commitdiff |
Test SAT learning
| tests/testsat.py | diffblobblamehistory | |
| zeroinstall/injector/sat.py | diffblobblamehistory | |
| zeroinstall/injector/solver.py | diffblobblamehistory |