Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
RunOpt_DebugTrace | include debugging trace in output |
RunOpt_SucceedOnLeftoverWork | left over unresolvable (non residue) work is also a successful result |
RunOpt_SucceedOnFailedSolve | failed solve is considered also a successful result, with the failed constraint as a residue |
RunOpt_WriteVisualization | write visualization (html file) to disk |
RunOpt_Verbosity Verbosity |