| commit | 6d1376a79f93bb9446d0c8396bfa9f34b861d84d | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Sun, 28 Mar 2010 19:11:04 +0000 (28 20:11 +0100) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Mon, 29 Mar 2010 18:51:52 +0000 (29 19:51 +0100) | ||
| tree | f085030eda7a74b4f8463d0eed1380d461999c39 | treesnapshot (tar.gz zip) |
| parent | dad76618baa1846b6cb60db441edd960353c686a | commitdiff |
Fixed sense error in SAT solver
UnionClause could start watching for variables to become True rather than
False.
UnionClause could start watching for variables to become True rather than
False.
| tests/testsat.py | diffblobblamehistory | |
| zeroinstall/injector/sat.py | diffblobblamehistory |