| commit | 6bdde79c9f452aa72eff9e2470c17b638c4f79aa | |
| author | Thomas Leonard <talex5@gmail.com> | |
| Mon, 22 Mar 2010 21:21:55 +0000 (22 21:21 +0000) | ||
| committer | Thomas Leonard <talex5@gmail.com> | |
| Mon, 22 Mar 2010 21:35:51 +0000 (22 21:35 +0000) | ||
| tree | c703d867924f05d25ffc77992974abbac49202f8 | treesnapshot (tar.gz zip) |
| parent | 9a96fec4b31ac27a403b6c52221897d04d9fcc4e | commitdiff |
Refactor solver
Created an abstract Problem object to hold the constraints. Express all
requirements as simple boolean expressions, but still use the full
pseudo-boolean solver to solve them for now.
Created an abstract Problem object to hold the constraints. Express all
requirements as simple boolean expressions, but still use the full
pseudo-boolean solver to solve them for now.
| tests/testsat.py | diffblobblamehistory | |
| zeroinstall/injector/sat.py | [new file with mode: 0644] | blob |
| zeroinstall/injector/solver.py | diffblobblamehistory |