| commit | bafba2ebd149467cd4ca84c474847a4e1bb56f77 | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Fri, 26 Mar 2010 19:50:07 +0000 (26 19:50 +0000) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Fri, 26 Mar 2010 19:58:39 +0000 (26 19:58 +0000) | ||
| tree | 0b6b625448856d0eec7f58d5ade4910bc8f60aef | treesnapshot (tar.gz zip) |
| parent | 23de0b5a805f946c059810273835a1925fa850a9 | commitdiff |
| parent | 0359a02a1e302dc0417bc7d516aec7aa998db9d3 | commitdiff |
Merge SAT solver branch
Instead of just picking the locally-best version of each interface and hoping
the dependencies work out, turn all the interdependencies into a huge boolean
equation and solve it using the DPLL algorithm.
Instead of just picking the locally-best version of each interface and hoping
the dependencies work out, turn all the interdependencies into a huge boolean
equation and solve it using the DPLL algorithm.
| zeroinstall/injector/sat.py | diff2 | blobhistory |