Potassco Apps
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.
Search results:
-
BioASP
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.
-
Ricochet Robots
Encodings to solve the ricochet robots game.