package touist

You can search for identifiers within the package.

in-package search v0.2.0

The solver for the Touist language

Install

Dune Dependency

www.irit.fr Readme Edit opam file Versions (5)

Authors

Maintainers

M

Maël Valais <mael.valais@gmail.com>

Sources

sha256=859a4428ced26ed38615a606138c02ec63541cd34cf94a37b3e35d5bf46d40c4

md5=c09dd1cda8aff444889d1374636c810b

doc/touist.qbf/Touist_qbf/index.html

Module `Touist_qbf`Source

Sourcemodule QbfSolve : sig ... end

Requires qbf Process a CNF AST to clauses in order to solve them with Quantor.