@hackage sbv-program1.1.0.0

Component-based program synthesis using SBV

Categories
License
BSD-3-Clause
Maintainer
6yearold@gmail.com
Links
Versions
- 1.1.0.0 Thu, 26 Jan 2023
- 1.0.0.0 Sat, 14 Jan 2023

Installation
In your cabal file:
Dependencies (5)
- base <5
- containers >=0.6.5 && <0.7
- bifunctors >=5.5.13 && <5.6
- pretty-simple >=4.1.2 && <4.2
- sbv >=9.0 && <9.1
Dependents (0)

Given a library of available componen functions, synthesize a program implementing a specification.