Hi, I think I got this working. The actual error was that a branch on BoolVars had IntVar control parameters. To give some more context:
The "Monadic Constraint Programming Framework" (Schrijvers et al.) http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.9140 https://doi.org/10.1017/S0956796809990086 is a way of representing constraint systems and search strategies via a DSL that is embedded in (i.e., uses the syntax and semantics, in particular the type system, of) Haskell. Gecode can be used as a back-end https://lirias.kuleuven.be/handle/123456789/242221 The implementation http://hackage.haskell.org/package/monadiccp-gecode was bit-rotted. I updated it to work with current Gecode (6.0.0) and Haskell compiler (ghc-8.2.2) (working test case in this CI build https://travis-ci.org/jwaldmann/monadiccp-gecode/builds/372165385 ) Source is at https://github.com/jwaldmann/monadiccp-gecode and we'll see about publishing this on hackage soon. - J.W. _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
