GitHub repository: olzd/touist
Primary language: Java
Created: 2015-01-31T15:21:42Z
Description: SAT/SMT solvers interface