BSD Portsmath/chuffed 0.13.2 DragonFly
Lazy clause generation CP solver for MiniZinc
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 638.7 KiB, 2149.0 KiB installed
Description
The Chuffed CP solver backend for the MiniZinc constraint modelling language.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/chuffed | 0.13.2 |
| FreeBSD | math/chuffed | 0.14.0 |
| HardenedBSD | math/chuffed | 0.14.0 |
| GhostBSD | math/chuffed | 0.14.0 |
Install
Binary package:
pkg install chuffedFrom DPorts:
cd /usr/dports/math/chuffed && make install cleanDependencies
No port depends on this one.