CaDiCaL user propagators via IPASIR-UP #587

Open

Labels

solvers/cadical

Milestone

opened

Expose user propagators functionality provided via the IPASIR-UP API.

Metadata

Assignees

No one assigned

Labels

solvers/cadical

Projects

No projects

Milestone

Version 0.8.0No due date

Relationships

None yet

Development

No branches or pull requests