package aez

  1. Overview
  2. Docs

Parameters

module Dummy : sig ... end

Signature

type state
val solve : unit -> unit
val assume : Literal.LT.t list list -> cnumber:int -> unit
val clear : unit -> unit
val save : unit -> state
val restore : state -> unit