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 =)