100 Repositories
clingo
823
pddl-instances
154
clasp
148
guide
92
clorm
71
asprilo
70
clingo-rs
40
clingcon
36
clingraph
33
plasp
32
clinguin
30
aspcud
27
telingo
23
asprilo-encodings
22
plingo
21
asprin
21
tree-sitter-clingo
15
eclingo
15
flatzinc
14
anthem
14
clingo-explaid
12
clingoLP
11
mu-gringo
10
clingofmt
10
qasp2qbf
9
clingo-dl
9
clintest
8
viasp
7
python-clingox
7
foliage
7
flatzingo
7
anthem-1
7
python-project-template
6
mapf-subgraph-system
6
guess_and_check
6
flingo
6
clingo-lpx
6
teaspoon
5
ngo
5
configuration-encoding
5
xorro
4
train-scheduling-with-clingo-dl
4
potassco.github.io
4
metasp
4
libpotassco
4
fzn2lp
4
eclingo-prototype
4
asp-planning-benchmarks
4
typclingo
3
train-scheduling-with-hybrid-asp
3