isSAT

Undocumented in source. Be warned that the author may not have intended to support it.

debug

bool

isSAT

(

string formula

)

Meta

Source

See Implementation

satd tseytin aliases

tseytinTransformResult

enums

ExprType

functions

structs

Expr

variables

answers