Skip to content

CaDiCaL user propagators via IPASIR-UP #587

Open
Open
CaDiCaL user propagators via IPASIR-UP#587
Labels
solvers/cadical
Milestone
Version 0.8.0
@chrjabs

Description

@chrjabs
chrjabs
opened on Feb 1, 2026

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    solvers/cadical

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions