Module database 

Structs

Database

Storage for constraints.

Functions

move_to_derived_propagator

Remove the constraint from the core propagator and add it to the derived propagator.