package qbf

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module QuantorSource

Bindings to Quantor

Sourcetype lit = Qbf.Lit.t

Direct Bindings

Sourcemodule Raw : sig ... end

Solver

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

Innovation. Community. Security.