touistversion Documentation on ocaml.org
The solver for the Touist language
The Touist language is a friendly language for writing propositional logic and logic on real and integers (SMT). This language aims to formalize real-life problems (e.g., the sudoku can be solved in a few lines). Touist embeds the minisat solver (for propositional logic) and (coming soon) the SMT2 solver. It can also generate the DIMACS, SMT2 and latex formats from you touist file.
| Authors | Maël Valais <mael.valais@gmail.com> and Olivier Lezaud |
|---|---|
| License | MIT |
| Published | |
| Homepage | http://touist.github.io |
| Issue Tracker | https://github.com/touist/touist/issues |
| Maintainer | Maël Valais <mael.valais@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/touist/touist/archive/v3.0.0.tar.gz sha256=11783a0b5fd2a8c7b6a66542faeaad38f38206a2ff3e09c574049ae067b448d8 md5=d4e29a5160b1ae0132fbb41ca0e47888 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/touist/touist.3.0.0/opam |
No package is dependent
