PV0 ⊧ Smt-Switcha collection of abstract classes useful for SMT solving

Links

• Last commit date: 03 Dec 2022 (default branch)
• Last commit date: 03 Dec 2022 (last activity)

Last publication date

• https://doi.org/10.1007/978-3-030-80223-3_26 (SAT 2021)
• http://ceur-ws.org/Vol-2854/short3.pdf (SAT 2020)

ProVerB specific

• Markdown description: view/edit
• Reason for this entry: used by Pono
• Contained in the ProVerB22 dataset (paper + artefact)