package qbf

You can search for identifiers within the package.

in-package search v0.2.0

QBF solving in OCaml, including bindings to solvers

Install

sha256=2f6c085db501511cf34a76d763409b58cb05ea88bf77cc75fd486ddb83f51f0a

sha512=89fe7271671ea9c72ae87505a54d101f0b95c3374161305ac26177146559fcb7f61ad2f6d8ae9944f92185d5b85b19673cb4f8bfed43dbc2c772f9962717f73e

Sourcetype lit = Qbf.Lit.t

Sourcemodule Raw : sig ... end

  let cnf = Qbf.CNF.exists [1; 2] (Qbf.CNF.cnf [[1; ~-2]; [2; ~-3]]);;
  Quantor.solve cnf;;

Sourceval solve : Qbf.QCNF.t -> Qbf.result

Sourceval solver : Qbf.solver

On This Page