Published June 4, 2023 | Version v1
Software Open

Supplementary material of submission "IPASIR-UP: User Propagators for CDCL"

  • 1. TU Wien
  • 2. Stanford University
  • 3. University of Freiburg


This is the supplementary material of the submission "IPASIR-UP: User Propagators for CDCL" to SAT'23. It contains supplement regarding the following tools:
(1) CaDiCaL extended with the IPASIR-UP interface
(2) Satisfiability modulo Symmetries (SMS) solver using IPASIR-UP
(3) cvc5 - Satisfiability modulo Theories (SMT) solver using IPASIR-UP

The included tools are the prototype versions that were evaluated in the experiments of the paper. The most recent versions of the tools are available here:
(1) CaDiCaL:
(2) SMS: (see also
(3) cvc5:

Please read the included README file for build and installation instructions.


Files (10.5 MB)

Name Size Download all
10.5 MB Preview Download