SAT.Util.BoolExp

Class & Type

class BoolComponent a

data BoolForm

Expression contructors

(-|-)

(-&-)

(-=-)

(-!-)

(->-)

neg

List Operation

disjunctionOf

(-|||-)

conjunctionOf

(-&&&-)

Convert function

asList

asList_

asLatex

asLatex_

numberOfVariables

numberOfClauses

tseitinBase