Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / fionakillalea / conjure
Conjure: The Automated Constraint Modelling Tool
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fionakillalea%2Fconjure
Fork of conjure-cp/conjure
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: SMT
Repo Size: 136 MB
Dependencies:
75
Created: almost 2 years ago
Updated: almost 2 years ago
Last pushed: over 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
- actions/checkout v3 composite
- docker/build-push-action ad44023a93711e3deb337508980b4b5e9bcdc5dc composite
- docker/login-action 28218f9b04b4f3f62068d7b6ce6ca5b26e35336c composite
- docker/metadata-action 98669ae865ea3cffbcbaa878cf57c20bbf1c6c38 composite
- docker/setup-buildx-action 79abd3f86f79a9d68a23c75a09a9a85889262adf composite
- sigstore/cosign-installer d6a3abf1bdea83574e28d40543793018b6035605 composite
etc/build/docker/Dockerfile
docker
- debian stable-slim build
- alpine 3.9 build
conjure-cp.cabal
hackage
- QuickCheck >=2.9
- aeson >=1.2.2.0
- aeson-typescript *
- ansi-terminal >=0.8.2
- base *
- bytestring *
- cereal >=0.5.1.0
- clock >=0.7.2
- cmdargs *
- cmdargs >=0.10.14
- conjure-cp *
- containers >=0.5.8.1
- data-default *
- directory *
- filepath *
- generic-deriving >=1.10.6
- hashable *
- integer-gmp *
- megaparsec >=4.1.1 && <5
- mtl *
- parallel-io *
- pipes *
- pretty >1.1.1.1
- primes >=0.2.1.0
- random *
- safe *
- scientific *
- shelly >=1.6.7
- split *
- statistics >=0.15.2.0
- stm *
- strict *
- syb *
- system-filepath *
- template-haskell ==2.9.*
- template-haskell ==2.14.*
- template-haskell ==2.15.*
- template-haskell ==2.16.*
- template-haskell ==2.12.*
- template-haskell ==2.10.*
- template-haskell ==2.13.*
- template-haskell ==2.11.*
- temporary *
- terminal-size >=0.3.2.1
- text *
- time *
- timeit >=2.0
- transformers >=0.5.3.0
- uniplate *
- unordered-containers *
- vector *
- Diff * test
- base * test
- bytestring * test
- cmdargs * test
- conjure-cp * test
- containers * test
- shelly * test
- system-filepath * test
- tasty >=1.1.0.1 test
- tasty-ant-xml * test
- tasty-hunit * test
- text * test
- Microsoft.Z3 $(Z3_VERSION)
- sphinx_rtd_theme ==0.3.1
- sphinxcontrib-bibtex ==0.4.0
- sphinxcontrib-inlinesyntaxhighlight ==0.2