Lazy clause generation CP solver for MiniZinc
The Chuffed CP solver backend for the MiniZinc constraint modelling language.
$
pkg install chuffedOrigin
math/chuffed
Size
2.05MiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
0 packages
Required by
1 packages