ppfolio

ppfolio est un prouveur SAT développé par Olivier Roussel. Il permet de lancer en parallèle, sans coopérations, un ensemble de prouveurs SAT tiers pour résoudre une instance SAT particulière.

ppfolio a pour but de servir d’étalon aux approches portfolios basées sur l’apprentissage.