sbv-program: Component-based program synthesis using SBV
[ bit-vectors, bsd3, formal-methods, library, smt, symbolic-computation ]
[ Propose Tags ]
[ Report a vulnerability ]
Given a library of available componen functions, synthesize a program implementing a specification.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- sbv-program-1.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 1.0.0.0, 1.1.0.0 |
---|---|
Dependencies | base (<5), bifunctors (>=5.5.13 && <5.6), containers (>=0.6.5 && <0.7), pretty-simple (>=4.1.2 && <4.2), sbv (>=9.0 && <9.1) [details] |
License | BSD-3-Clause |
Copyright | 2023 Gleb Popov |
Author | Gleb Popov |
Maintainer | 6yearold@gmail.com |
Category | SMT, Symbolic Computation, Bit vectors, Formal Methods |
Home page | https://github.com/arrowd/sbv-program |
Bug tracker | https://github.com/arrowd/sbv-program/issues |
Source repo | head: git clone https://github.com/arrowd/sbv-program |
Uploaded | by arrowd at 2023-01-26T17:05:14Z |
Distributions | |
Downloads | 135 total (3 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] All reported builds failed as of 2023-01-26 [all 1 reports] |