Age | Commit message (Expand) | Author |
---|---|---|
2013-01-24 | sat-solver: remove | Paul Eggleton |
2011-05-13 | update patch upstream status | Qing He |
2011-03-17 | sat-solver: Fix solution DB generation and general cleanup | Mark Hatle |
2011-03-16 | sat-solver: uprev to the latest version | Mark Hatle |
2011-01-30 | sat-solver: upgrade to newer git version | Mark Hatle |
2010-09-03 | sat-solver: added new package | Qing He |