GitHub repository: jwiegley/z3cat
Primary language: Haskell
Created: 2017-04-18T06:18:04Z
Description: Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations