Petit projet de L3 : implémentation d'un solveur SAT avec tout plein d'options, de greffons et autres bugs.
Un gros README bien illisible est dispo dans le fichier README.fm (oui, c'est vraiment un foutu manuel...).
Sa seule dépendance, mis à part un compilo C++11 potable (Clang ou GCC), est une version pas trop ancienne de GNU Bison (2.3, 2.5 ou 3.0, oui c'est un tour de force d'avoir un code compatible avec plus de 3 versions de Bison...).
PS: le code est en français...
LICENCE PUBLIQUE RIEN À BRANLER Version 1, Mars 2009
Copyright (C) 2014 Marc Chevalier Copyright (C) 2014 Thomas Pellissier Tanon
La copie et la distribution de copies exactes de cette licence sont autorisées, et toute modification est permise à condition de changer le nom de la licence.
CONDITIONS DE COPIE, DISTRIBUTON ET MODIFICATION DE LA LICENCE PUBLIQUE RIEN À BRANLER
- Faites ce que vous voulez, j’en ai RIEN À BRANLER.