Package touist.3.4.0

[maelvls]

touist.3.4.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

[camelus]

✅ All lint checks passed 6389ea0

• These packages passed lint tests: touist.3.4.0

---

✅ Installability check (7451 → 7452)

• new installable packages (1): touist.3.4.0

[samoht]

maybe something like "cppo" { >= "0.9.4" & <= "1.5.0" } would be simpler? And add a conflict if there is a version of cppo that you are trying to avoid?

[samoht]

merging anyway, as all the tests are green -- but feel free to a fix for simplifying the cppo constraints if you feel like it.

[maelvls]

Arghh, I just saw the messages; you are right, oasis has generated really weird constraints for cppo!! I didn't notice!

In _oasis, I just have the constraint cppo_ocamlbuild (>= 0.9.4). But for some reason, instead of simply translating this to cppo >= "0.9.4", it gives the list of all possible versions. I also tried multiple other things but each time it would end up with this list.

I'll set the constraints in the opam file myself on the release (probably touist.3.5.0).

Thank you!!