Gophersat est une bibliothèque en langage go pour résoudre des problèmes SAT, MaxSAT et pseudo-booléens. Il est conçu pour être efficace, facile à intégrer dans un programme go ou en tant que prouveur standalone.


Auteur :
Fabien Delorme

MIT    Toute catégorie    Logiciels pérennes    Logiciels récents    Prouveurs CSP & SAT   

    • Aller sur la page web du logiciel

    Code source