FDMCP
Monadic Constraint Programming for Gecode
- The paper can be found here
Source code
Contents:
- The Monadic Constraint Programming framework, v0.5
- The FD layer
- A built-in solver, adapted from this one
- A solver wrapper, that allows compilation to C++ code using Gecode
- Two solvers that invoke Gecode at runtime: one using MCP's native search infrastructure, one delegating search to Gecode.
- A set of ported Gecode benchmarks
Versions:
|
|
|