Language.Clafer.IG.Solution

data Solution

data Sig

data Atom

data Field

data Tuple

parseSolution