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

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: https://github.com/arminbiere/cadical
(2) SMS: https://github.com/markirch/sat-modulo-symmetries/ (see also https://sat-modulo-symmetries.readthedocs.io/)
(3) cvc5: https://github.com/cvc5/cvc5

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