touist

touist

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
71 Stars
13 Forks
71 Watchers

Repositories (2)

touist touist/touist OCaml

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

68
homebrew-touist touist/homebrew-touist Ruby

🍺 Homebrew repo for the TouIST formula (and some solvers)

3