satsolver
Merge branch 'ep1.2' of github.com:fllsouto/MAC0219-Metodos-Formais into ep1.2