package qbf
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create : unit -> t
Allocate a new QBF solver
val sat : t -> Qbf.result
Current status of the solver
val scope : t -> Qbf.quantifier -> unit
Open a new scope with the given kind of quantifier
val deref : t -> lit -> Qbf.assignment
Obtain the value of this literal in the current model
sectionYPositions = computeSectionYPositions($el), 10)" x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)">