summaryrefslogtreecommitdiff
path: root/meta/recipes-extended/sat-solver
Commit message (Expand)AuthorAgeFilesLines
* sat-solver: added new packageQing He2010-09-033-0/+112