| commit | 60534f47b55c6c0588249950440f4db3ddc2fe6b | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Thu, 25 Mar 2010 23:36:10 +0000 (25 23:36 +0000) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Fri, 26 Mar 2010 18:50:19 +0000 (26 18:50 +0000) | ||
| tree | cd0680cc86528176d12cae10c962519775118ed8 | treesnapshot (tar.gz zip) |
| parent | 051829dd08575c80e20a94b9715a00f7d732cf77 | commitdiff |
More tests for SAT solver
| tests/testsat.py | diffblobblamehistory | |
| zeroinstall/injector/sat.py | diffblobblamehistory |