Package touist.3.5.0

[maelvls]

touist.3.5.0

The solver for the Touist language

The Touist language is a friendly language for writing propositional
logic (SAT), logic on real and integers (SMT) and quantified boolean
formulas (QBF). This language aims to formalize real-life problems
(e.g., the sudoku can be solved in a few lines). Touist embeds a SAT
solver (minisat) and can be built with optionnal SMT and QBF solvers.
Touist is also able to generate the latex, DIMACS, SMT-LIB and QDIMACS
formats from a touist file.

Optionnal solvers:

• for using Yices2 (--smt --solve), run opam install yices2
• for using Quantor (--qbf --solve), run opam install qbf

---

• Homepage: https://www.irit.fr/touist
• Source repo: https://github.com/touist/touist.git
• Bug tracker: https://github.com/touist/touist/issues

---

🐫 Pull-request generated by opam-publish v0.3.5

[maelvls]

I think I forgot to add

• cmdliner >= 0.9.8 because I use Term.const
• jbuilder >= 1.0+beta12 because I use (fallback)

I'll fix that asap, keep the PR open in the meantime :-)
Sorry for the inconvenience!!!

[maelvls]

Can't make CentOS7 pass 😞

Fatal error: exception End_of_file

And on Ubuntu 17.04:

[ERROR] Variable os-distribution not found

[rgrinberg]

That's alright, it's not your fault. Don't forget to update your constraints in master as well. Very sorry for the long delay