touist

AuthorsMaël Valais <mael.valais@gmail.com> and Olivier Lezaud
LicenseMIT
Homepagehttp://touist.github.io
Issue Trackerhttps://github.com/touist/touist/issues
MaintainerMaël Valais <mael.valais@gmail.com>
Dependencies
&fileutils>= 0.4.0
menhir>= 20150118
minisat
ocamlbuild
ocamlfind
ounit
Availableocaml-version >= "4.01.0"
PublishedMar 29, 2017
Source [http] https://github.com/touist/touist/archive/v3.0.0.tar.gz
d4e29a5160b1ae0132fbb41ca0e47888
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/touist/touist.3.0.0/opam

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.

No package is dependent