GitHub repository: GaloisInc/what4-solvers
Primary language: SMT
Created: 2021-08-10T21:11:26Z
Description: Multi-platform binary creation for solvers of the versions most suitable for use with What4