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(s) :

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