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.

Aller sur la page web du logiciel