Language.Fixpoint.Interface

Containing Constraints

data FInfo a

Invoke Solver on an FInfo

solve

Invoke Solver on a .fq file

solveFQ

Function to determine outcome

resultExit

Parse Qualifiers from File

parseFInfo