TouIST

https://www.irit.fr/touist

Results 1 repositories owned by


TouIST

touist

65

Stars

12

Forks

Watchers

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)