At the moment, the existing examples all rely on the Control.CP.FD.Example module which is OK for running the examples but on the other side it is quite hard to understand and to use for creating own code with monadiccp.
The two files MonadicCpExample.hs and MonadicCpHelper.hs from the adp-multi-monadiccp project which use the OvertonFD solver might be a good starting point.
At the moment, the existing examples all rely on the
Control.CP.FD.Examplemodule which is OK for running the examples but on the other side it is quite hard to understand and to use for creating own code with monadiccp.The two files MonadicCpExample.hs and MonadicCpHelper.hs from the adp-multi-monadiccp project which use the OvertonFD solver might be a good starting point.