New port: math/chuffed: Lazy clause generation CP solver for MiniZinc
Description
Description
Details
Details
- Provenance
yuri Authored on May 3 2021, 6:48 PM - Parents
- R11:1c00382ea94a: x11/mako: update to 1.5
- Branches
- Unknown
- Tags
New port: math/chuffed: Lazy clause generation CP solver for MiniZinc Tags None Referenced Files None Subscribers None |