TouIST

icon indicating a website link 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)

verified publisher icon touist