Package for handling constraint propagation in the Electric database.