snapshot-20221212

Contains the following solver versions:

• ABC - 99ab99bf
• Boolector - 3.2.2
• CVC4 - 1.8
• CVC5 - 1.0.2
• Yices - 2.6.2
• Z3 - 4.8.8 and 4.8.14

Built for the following operating systems:

• macOS Monterey 12
• Ubuntu 20.04
• Ubuntu 22.04
• Windows Server 2019

For Windows, CVC4 and CVC5 binaries come from published binary tarballs. Eventually, we will build them ourselves.