Supplementary material of "Satisfiability modulo User Propagators"

This is the supplementary material of the journal paper "Satisfiability modulo User Propagators" (JAIR 2024). It contains supplement regarding the following tools:
(1) CaDiCaL 2.0 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 and all the running logs and results produced by that tool.

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.