Interfaces.FZSolutionParser

data MValue

type Solution

Parsing values

valueM

intM

boolM

floatM

stringM

setM

setRange

arrayM

Solutions

varName

simpleVarName

quotedVarName

comment

comments

Default parsers

defaultNameValuePair

defaultUnsat

defaultSolution

defaultSolutions

tryDefaultSolutions

getDefaultSolutions

getDefaultSolutionsFromFile

Custom

nameValuePair

trySolutions

getSolutions