GitHub repository: GaloisInc/what4
Primary language: Haskell
Created: 2020-02-25T23:38:16Z
Description: Symbolic formula representation and solver interaction library