apps
- ricochets robots, IULP'15
- see also our page on applications
clasp
- clasp series 3, LPNMR'15
- clasp series 2, ICLP'12
- domain heuristics, AAAI'13
- multi-objective optimization, POS'11
- unsat-core-based optimization, ICLP'12
clingo
gringo
aspeed
aspic
asprin
claspfolio
metasp
rosoclingo
![Follow us at G+](../../images/gplus-64.png)