summaryrefslogtreecommitdiff
path: root/meta/recipes-extended/sat-solver/sat-solver
AgeCommit message (Expand)AuthorFiles
2011-01-30sat-solver: upgrade to newer git versionMark Hatle4
2011-01-20sat-solver: fix the build failure caused by gcc dso linkcing changeNitin A Kamble1
2010-09-03sat-solver: added new packageQing He2