Language.Fixpoint.Solver

Invoke Solver on an FInfo

solve

type Solver a

Invoke Solver on a .fq file

solveFQ

Function to determine outcome

resultExit

Parse Qualifiers from File

parseFInfo