90 Repositories
clingo
754
pddl-instances
147
clasp
140
guide
86
asprilo
68
clorm
66
clingcon
35
clingo-rs
34
plasp
32
clingraph
31
clinguin
29
aspcud
27
telingo
22
asprilo-encodings
22
asprin
21
plingo
20
flatzinc
14
eclingo
13
tree-sitter-clingo
12
anthem
12
clingoLP
11
clingo-explaid
11
mu-gringo
10
clingofmt
10
qasp2qbf
9
clintest
8
clingo-dl
8
viasp
7
python-clingox
7
foliage
7
flatzingo
7
anthem-1
7
python-project-template
6
mapf-subgraph-system
6
clingo-lpx
6
teaspoon
5
ngo
5
guess_and_check
5
flingo
5
configuration-encoding
5
xorro
4
train-scheduling-with-clingo-dl
4
potassco.github.io
4
libpotassco
4
fzn2lp
4
eclingo-prototype
4
asp-planning-benchmarks
4
train-scheduling-with-hybrid-asp
3
coom-suite
3
clingo-preview
3