Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / msakai / toysolver
My sandbox for experimenting with solver algorithms.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver
Stars: 152
Forks: 11
Open Issues: 4
License: other
Language: Haskell
Repo Size: 7.22 MB
Dependencies:
123
Created: almost 13 years ago
Updated: 8 days ago
Last pushed: 9 days ago
Last synced: 8 days ago
Commit Stats
Commits: 2720
Authors: 4
Mean commits per author: 680.0
Development Distribution Score: 0.001
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/msakai/toysolver
Topics: algorithms, mathematical-programming, sat-solver, smt-solver, theorem-prover
Files
Dependencies
- actions/cache v3 composite
- actions/checkout v2 composite
- actions/download-artifact v2 composite
- actions/upload-artifact v2 composite
- haskell/actions/setup v1 composite
- haskell $GHC_VERSION build
- array * benchmark
- base * benchmark
- criterion >=1.0 && <1.7 benchmark
- data-default-class * benchmark
- toysolver * benchmark
- vector * benchmark
- MIP >=0.1.1.0 && <0.2
- MIP *
- OptDir *
- ansi-wl-pprint *
- array >=0.5
- array *
- attoparsec *
- base >=4.12 && <4.18
- base *
- bytestring *
- bytestring >=0.9.2.1 && <0.12
- bytestring-builder *
- bytestring-encoding >=0.1.1.0
- case-insensitive *
- clock *
- clock >=0.7.1
- containers *
- containers >=0.5.8
- data-default *
- data-default-class *
- data-interval >=2.0.1 && <2.2.0
- deepseq *
- directory *
- extended-reals >=0.1 && <1.0
- filepath *
- finite-field >=0.9.0 && <1.0.0
- ghc-prim *
- hashable >=1.2 && <1.5.0.0
- hashtables *
- haskeline >=0.7 && <0.9
- heaps *
- intern *
- intern >=0.9.1.2 && <1.0.0.0
- lattices *
- log-domain *
- logic-TPTP >=0.4.6.0 && <0.5
- loop >=0.3.0 && <1.0.0
- megaparsec *
- megaparsec >=7 && <10
- mtl >=2.1.2
- mtl *
- multiset *
- mwc-random *
- mwc-random >=0.13.1 && <0.16
- optparse-applicative *
- optparse-applicative >=0.13
- parsec >=3.1.2 && <4
- parsec *
- pretty >=1.1.2.0 && <1.2
- primes *
- primitive >=0.6
- process >=1.1.0.2
- pseudo-boolean *
- pseudo-boolean >=0.1.3.0 && <0.2.0.0
- queue *
- scientific *
- semigroups >=0.17
- sign >=0.2.0 && <1.0.0
- split *
- stm >=2.3
- template-haskell *
- temporary >=1.2
- text >=1.1.0.0
- text *
- time *
- time >=1.5.0
- toysolver *
- transformers >=0.2
- transformers *
- transformers-compat *
- transformers-compat >=0.3
- unbounded-delays *
- unordered-containers >=0.2.3 && <0.3.0
- unordered-containers *
- vector *
- vector >=0.11
- vector-space >=0.8.6
- xml-conduit *
- zlib *
- OptDir * test
- QuickCheck >=2.8 && <3 test
- array * test
- base * test
- bytestring * test
- bytestring-builder * test
- containers * test
- data-default-class * test
- data-interval * test
- deepseq * test
- finite-field >=0.7.0 && <1.0.0 test
- hashable * test
- intern * test
- lattices * test
- megaparsec * test
- mtl * test
- mwc-random * test
- parsec >=3.1.2 && <4 test
- pretty * test
- pseudo-boolean * test
- scientific * test
- tasty >=0.10.1 test
- tasty-hunit >=0.9 && <0.11 test
- tasty-quickcheck >=0.8 && <0.11 test
- tasty-th * test
- text * test
- toysolver * test
- transformers * test
- transformers-compat * test
- unordered-containers * test
- vector * test
- vector-space * test