clingo: Haskell bindings to the Clingo ASP solver

[ asp, ffi, library, logic-programming, mit, symbolic-computation ] [ Propose Tags ]

Please see

Versions [faq]
Dependencies base (>=4.7 && <5), bifunctors (>=5.4 && <6), clingo, containers, deepseq (==1.4.*), exceptions (==0.8.*), hashable (==1.2.*), monad-loops, MonadRandom, mtl (==2.2.*), StateVar (==1.1.*), text (==1.2.*), transformers (==0.5.*), wl-pprint-text [details]
License MIT
Copyright 2017 Paul Ogris
Author Paul Ogris
Category ASP, Symbolic Computation, Logic Programming, FFI
Home page
Source repo head: git clone
Uploaded by tsahyt at 2017-08-18T17:25:55Z
Distributions NixOS:
Executables propagator, statistics, solve-async, model, backend, ast, symbolic-atoms, theory-atoms, configuration, control, dot-propagator, version
Downloads 828 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user [build log]
All reported builds failed as of 2017-08-18 [all 1 reports]





Build examples


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees