touist.3.2.1 - via opam-publish

[maelvls]

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 the embeded SMT solver, run opam install yices2 and then do
  opam reinstall touist
• for using the embeded QBF solver, run opam install qbf and then do
  opam reinstall touist

---

• 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.4

[camelus]

✅ All lint checks passed 6382635

• These packages passed lint tests: touist.3.2.1

---

✅ Installability check (6971 → 6972)

• new installable packages (1): touist.3.2.1

[avsm]

thanks!

[maelvls]

Work in progress, please do not merge yet :-)

[maelvls]

Never mind :)