Z3 Theorem Prover

Online papers

• Programming Z3
• Supercharging plant configurations, CPAIOR 2021
• Z3 Internals