Web   ·   Wiki   ·   Activities   ·   Blog   ·   Lists   ·   Chat   ·   Meeting   ·   Bugs   ·   Git   ·   Translate   ·   Archive   ·   People   ·   Donate
summaryrefslogtreecommitdiffstats
path: root/sugar_network/toolkit/sat.py
Commit message (Expand)AuthorAgeFilesLines
* Implement context solver on node levelAleksey Lim2014-02-211-2/+10
* Embed 0install SAT solver to avoid fetching the entire ZI disributionAleksey Lim2014-02-201-0/+583