pumpkin-propagators 0.5.0

The propagators of the Pumpkin constraint programming solver.
Documentation