tarski A collection of formal methods, algorithms, checkers, etc. This project can be build with gradle.