Dependencies for clingo-0.2.0.0

Libraries

clingo

base (>=4.7 && <5)
bifunctors (>=5.4 && <6)
deepseq (>=1.4 && <1.5)
exceptions (>=0.8 && <0.9)
hashable (>=1.2 && <1.3)
mtl (>=2.2 && <2.3)
StateVar (>=1.1 && <1.2)
text (>=1.2 && <1.3)
transformers (>=0.5 && <0.6)
wl-pprint-text

Executables

version

if flag(examples)
- base
- clingo
else
- buildable: False

dot-propagator

if flag(examples)
else
- buildable: False

control

if flag(examples)
else
- buildable: False

configuration

if flag(examples)
else
- buildable: False

theory-atoms

if flag(examples)
else
- buildable: False

symbolic-atoms

if flag(examples)
else
- buildable: False

ast

if flag(examples)
else
- buildable: False

backend

if flag(examples)
else
- buildable: False

model

if flag(examples)
else
- buildable: False

solve-async

if flag(examples)
else
- buildable: False

statistics

if flag(examples)
else
- buildable: False

propagator

if flag(examples)
else
- buildable: False

Flags

Automatic Flags

Name	Description	Default
examples	Build examples	Disabled

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