/meta/recipes-extended/sat-solver/sat-solver/

• ../
• 0001-sat_xfopen.c-Forward-port-to-zlib-1.2.6-gzFile.patch
• cmake.patch
• db5.patch
• fix_gcc-4.6.0_compile_issue.patch
• sat-solver_core.patch
• sat-solver_obsolete.patch
• sat-solver_rpm5.patch