qbf.0.2 - via opam-publish

[maelvls]

QBF solving in OCaml, including bindings to solvers

Ocaml-qbf provides a unified API to several QBF solvers, along with
common types for formulas, QCNF and literals and operations such as
simplifications and reduction to CNF.

It packs:

• a binding to quantor, which is shipped with the library
• a binding to Depqbf

---

• Homepage: https://github.com/c-cube/ocaml-qbf
• Source repo: https://github.com/c-cube/ocaml-qbf.git
• Bug tracker: https://github.com/c-cube/ocaml-qbf/issues

---

Pull-request generated by opam-publish v0.3.4

[camelus]

✅ All lint checks passed 5fd5b61

• These packages passed lint tests: qbf.0.2

---

✅ Installability check (6833 → 6834)

• new installable packages (1): qbf.0.2

[avsm]

thanks for this! The unistd.h is failing on alpine linux, and it might just need the linux-headers package there. it's not a blocker to merge, but you can try to fix it if you'd like a full green light.

[maelvls]

Oh... bummer. I just did a fix to the project in order to avoid this <sys/unistd.h> (I think it wasn't actually needed)

[avsm]

that's an even better fix, and makes it more portable to the BSDs as well. thanks!

[maelvls]

Looks like it passes the Alpine 3.5 tests now! 😁

[avsm]

This is perfect, many thanks for all the iterations @maelvalais! You may want to announce it on https://discuss.ocaml.org, where we have a Community category and an announce tag for this purpose.