Clause-sharing SMT solver based on cvc5.

See SMT-D: New strategies for portfolio-based SMT solving

• git clone https://github.com/cvc5/smtd
• cd smtd

See DEVELOPING.md

See RUN.md

Some example analysis scripts are given in src/analysis. They will need to be configured to work on your machine and with your particular benchmark set.

See TODO.md