1 result found Sort:

12
64
mit
9
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Created 2015-01-31
1,570 commits to master branch, last one 3 years ago