Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / konn / presburger-dfa
Presburger arithmetic solver using Automata Theory, in Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/konn%2Fpresburger-dfa
Stars: 3
Forks: 0
Open Issues: 0
License: bsd-3-clause
Language: Haskell
Repo Size: 350 KB
Dependencies:
33
Created: almost 8 years ago
Updated: 7 months ago
Last pushed: about 2 years ago
Last synced: 21 days ago
Funding links: https://github.com/sponsors/konn
Files
Loading...
Readme
Loading...
Dependencies
presburger/presburger.cabal
hackage
- base >=4.7 && <5
- containers *
- deepseq *
- pretty *
presburger-dfa.cabal
hackage
- base * benchmark
- containers * benchmark
- deepseq * benchmark
- dlist * benchmark
- hashable * benchmark
- presburger * benchmark
- presburger-dfa * benchmark
- tasty-bench * benchmark
- tasty-discover * build
- base >=4.7 && <5
- bitvec *
- containers *
- deepseq *
- dlist *
- hashable *
- transformers *
- uniplate *
- unordered-containers *
- vector *
- QuickCheck * test
- base * test
- containers * test
- hashable * test
- presburger-dfa * test
- quickcheck-instances * test
- tasty * test
- tasty-hunit * test
- tasty-quickcheck * test
- unordered-containers * test