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.

Related Organizations

Stanford University
United States
TU Wien
Austria
University of Freiburg
Germany

Keywords

SAT

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average