package qbf

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Quantor`Source

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