ToySolver.EUF.FiniteModelFinder

Formula types

type Var

type FSym

type PSym

data GenLit a

data Term

data Atom

type Lit

type Clause

type Formula

data GenFormula a

toSkolemNF

Model types

data Model

type Entity

type EntityTuple

showModel

showEntity

evalFormula

evalAtom

evalTerm

evalLit

evalClause

evalClauses

evalClausesU

Main function

findModel