ToySolver.FOLModelFinder

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

showModel

showEntity

Main function

findModel