GitHub repository: FredMaris/touist
Primary language: Java
Description: SAT/SMT solvers interface