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

trySolutionsDefault

getAllSolutionsDefault

getDefaultSolutionsFromFile

Custom

getAllSolutions

trySolutions

nameValuePair

allSolutions

takeSolutionsWithParser