`sbv-program`

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

Ecosystem
hackage.haskell.org

Latest Release
1.1.0.0
about 3 years ago

Versions
2

Downloads
198 total

Dependent Repos
1

No dependent packages found.

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Keywords
bit-vectors bsd3 formal-methods library smt symbolic-computation Propose Tags

Stars	0 on GitHub
Forks	2 on GitHub

repos.ecosyste.ms

ecosyste.ms