Projects

5 project(s) on this page

Project Selected Spr Newest Outdated Ignored
clasp 3.3.4 3.3.3 3.2.1 3.1.4 3.1.0 2.0.4 7 3.3.52 3.3.4 3.2.1 3.1.4 3.1.32 2.1.4 0.8.99.20181128
coala 1.0.1 2 0.10.0
depqbf 5.01 5.0 3.04 2.0 0.1 2 6.03
gringo 5.3.0 5.2.3 5.2.2 5.1.0 4.5.4 4.4.0 4.2.1 3.0.3 7 5.3.0 4.5.45
polyml 5.7.1 5.6 5.2.1 14 5.87 5.7.15 5.7 5.63 5.5.22 5.5.1 5.5.0 5.4.12

Legend: