summaryrefslogtreecommitdiffstats
path: root/meta/recipes-extended/sat-solver/sat-solver
Commit message (Expand)AuthorAgeFilesLines
* sat-solver: upgrade to newer git versionMark Hatle2011-01-304-38/+69
* sat-solver: fix the build failure caused by gcc dso linkcing changeNitin A Kamble2011-01-201-0/+31
* sat-solver: added new packageQing He2010-09-032-0/+92