FreeBSD.software
Home/math/chuffed

chuffed

0.13.2math

Lazy clause generation CP solver for MiniZinc

The Chuffed CP solver backend for the MiniZinc constraint modelling language.

$pkg install chuffed
github.com/chuffed/chuffed
Origin
math/chuffed
Size
2.05MiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
0 packages
Required by
1 packages

Required By (1)