Potassco Solutions

Potassco Solutions formalizes problems and presents them in a concise, maintainable logic format. Potassco tools are used to automate reasoning tasks and solve optimization problems.

‍