hackage.haskell.org : g2
A Haskell symbolic execution engine. For details, please see: https://github.com/BillHallahan/G2
Registry
- JSON
purl: pkg:hackage/g2
Keywords:
bsd3
, formal-methods
, library
, program
, symbolic-computation
, Propose Tags
License: BSD-3-Clause
Latest release: over 1 year ago
First release: about 6 years ago
Dependent packages: 1
Dependent repositories: 2
Downloads: 997 total
Last synced: 16 days ago
Loading...
Readme
Loading...