class

Sat::Program

Inherits Reference < Object

Constructors

Instance methods

addClause(*body)
Source
addClauseFromArray(body)
Source
addConstraint(*body)
Source
addConstraintFromArray(body)
Source
addFact(head)
Source
addRule(*body, implies head)
Source
addRuleFromArray(body, implies head)
Source
clauses
Source
ensureOneFromArray(body)
Source
ensureOneOf(*body)
Source
solve
Source
status
Source
value(lit)
Source
values
Source