Implement an IPASIR-UP interface for CaDiCaL.
Attaching a propagator wraps the CaDiCaL solver type.
This way we can ensure that only ever one propagator can be attached, and we have the information in the type system whether a propagator is attached or not.
Implement an IPASIR-UP interface for CaDiCaL.
Attaching a propagator wraps the CaDiCaL solver type.
This way we can ensure that only ever one propagator can be attached, and we have the information in the type system whether a propagator is attached or not.