Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / EJahren / PBCompOutputChecker
A small utility program that checks the output from a PB solver and checks that it is correct according to the input opb file.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EJahren%2FPBCompOutputChecker
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: Haskell
Repo Size: 102 KB
Dependencies:
4
Created: almost 12 years ago
Updated: over 10 years ago
Last pushed: almost 11 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
PBCompOutputChecker.cabal
hackage
- base *
- cmdargs *
- containers *
- parsec *