Potassco Solutions

Potassco Solutions formalisiert  Probleme und stellt es in einem prägnanten, wartbaren Logikformat dar. Potassco-Tools werden zur Automatisierung von Schlussfolgerungsaufgaben und zur Lösung von Optimierungsproblemen verwendet.