The Potassco Apps suite comprises projects related to applications of Answer Set Programming using Potassco systems. These are usually a set of encodings possibly including auxiliary software and scripts.
A software collection for biological applications.
Curriculum-Based Course Timetabling
ASP encodings to solve the curriculum-based course timetabling problem.
Metabolic Network Completion
Encodings to calculate minimal completions for metabolic draft networks.
Minimal Intervention Strategies
Encodings to calculate minimal intervention strategies in logical signaling networks.
Encodings to solve the ricochet robots game.