Mondrian ( SAT-Solver ) Installation : Tapez les commandes suivantes dans votre terminale : chmod +x install.sh ./install.sh Usage : Dans votre terminale, du puis n'importe quel repertoire : mondrian Easy to use & Have fun =)