The clingo package

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

Please see README.md

Properties

Versions 0.2.0.0
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
Maintainer paul@tsahyt.com
Category ASP, Symbolic Computation, Logic Programming, FFI
Home page https://github.com/tsahyt/clingo-haskell#readme
Source repository head: git clone https://github.com/tsahyt/clingo-haskell
Uploaded Fri Aug 18 17:25:55 UTC 2017 by tsahyt
Distributions NixOS:0.2.0.0
Executables propagator, statistics, solve-async, model, backend, ast, symbolic-atoms, theory-atoms, configuration, control, dot-propagator, version
Downloads 48 total (10 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2017-08-18 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
examples

Build examples

DisabledAutomatic

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees