| Copyright | (c) Some Guy, 2013 Someone Else, 2014 |
|---|---|
| License | GPL-3 |
| Maintainer | Klara Marntirosian <klara.mar@cs.kuleuven.be> |
| Stability | experimental |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Interfaces.FZSolutionParser
Description
This module parses the solutions outputed by the specified FlatZinc solver. It supports multiple solutions. The parser might fail if there is a show item in the represented MiniZinc model which alters the default format of the solutions' output.
This parser is built using the Text.Parsec module.
- getSolution :: FilePath -> IO ()
Documentation
getSolution :: FilePath -> IO () Source
Given the path of the file where the solution(s) have been printed, this function reads the file, parses the solution(s) and prints them.