clingo: Haskell bindings to the Clingo ASP solver

[ asp, ffi, library, logic-programming, mit, symbolic-computation ] [ Propose Tags ]
Versions [RSS] 0.2.0.0
Dependencies base (>=4.7 && <5), bifunctors (>=5.4 && <6), clingo, containers, deepseq (>=1.4 && <1.5), exceptions (>=0.8 && <0.9), hashable (>=1.2 && <1.3), monad-loops, MonadRandom, mtl (>=2.2 && <2.3), StateVar (>=1.1 && <1.2), text (>=1.2 && <1.3), transformers (>=0.5 && <0.6), wl-pprint-text [details]
License MIT
Copyright 2017 Paul Ogris
Author Paul Ogris
Maintainer paul@tsahyt.com
Category ASP, Symbolic Computation, Logic Programming, FFI
Home page https://github.com/tsahyt/clingo-haskell#readme
Source repo head: git clone https://github.com/tsahyt/clingo-haskell
Uploaded by tsahyt at 2017-08-18T17:25:55Z
Distributions NixOS:0.2.0.0
Executables propagator, statistics, solve-async, model, backend, ast, symbolic-atoms, theory-atoms, configuration, control, dot-propagator, version
Downloads 962 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2017-08-18 [all 1 reports]