call MiniZinc from Haskell and translate back-and-forth using Aeson
Why do you think that https://github.com/LeventErkok/sbv is a good alternative to minizinc-process
call MiniZinc from Haskell and translate back-and-forth using Aeson
Why do you think that https://github.com/LeventErkok/sbv is a good alternative to minizinc-process