81 Repositories
clingo
647
clasp
120
pddl-instances
119
guide
77
asprilo
56
clorm
55
clingo-rs
30
clingraph
29
plasp
28
aspcud
27
clinguin
26
clingcon
25
telingo
22
asprilo-encodings
21
asprin
20
plingo
16
flatzinc
11
clingoLP
10
clingofmt
10
eclingo
9
clingo-explaid
9
qasp2qbf
8
mu-gringo
8
viasp
7
python-clingox
7
flatzingo
7
clintest
7
anthem-1
7
python-project-template
6
mapf-subgraph-system
6
foliage
6
clingo-dl
6
tree-sitter-clingo
5
configuration-encoding
5
clingo-lpx
5
xorro
4
train-scheduling-with-clingo-dl
4
teaspoon
4
potassco.github.io
4
ngo
4
guess_and_check
4
libpotassco
3
fzn2lp
3
eclingo-prototype
3
clingo-cmake-example
3
asp-date-lib
3
xls2asp
2
train-scheduling-with-hybrid-asp
2
tel
2
ginkgo
2