Your rules.
Our AI.
The best decision.

Imagine making every important company decision in seconds –
logical, transparent, and fully optimized.

That’s exactly what Potassco Solutions delivers.

Complex decisions. Clearly solved.

scroll to discover

Success Stories from our clients

01

Potassco Solutions is partnering with Krones to leverage ASP-based AI technology for dynamic, optimized configuration of systems, machines, and functionalities in the quotation process as part of the P.O.S. Program (Cluster Methodology). This collaboration ensures Krones’ long-term leadership in innovation within this domain and strengthens our competitive edge.

As part of an extended development partnership between Krones and Potassco, we aim to establish a solid foundation for Krones’ digital transformation and product portfolio through systematic knowledge exchange and a coordinated ASP technology roadmap.

Krones AG

02

After implementing Potassco’s route optimization solution, we noticed a clear improvement in our operations. Delivery times were reduced by 25%, and fuel costs dropped by 20%. These changes helped us work more efficiently and manage resources better. What stood out was how quickly the impact became visible – the return on investment was clear within the first month

Logistics Director, Major Retail Chain

03

Potassco has transformed our shift planning process. What used to be a time-consuming challenge is now handled in just minutes. This improvement hasn’t only saved time – it’s also reduced our overtime costs by 30% and helped improve staff satisfaction. It’s a practical solution that delivers real results.

Head of Operations, Regional Hospital Network

04

We’ve been impressed by Clasp’s capabilities. Developed by Potassco, it handled one of the most challenging optimization tasks we’ve seen – the U.S. radio spectrum reallocation. Utilized within the SAT-based Feasibility Checker (SATFC), Clasp solved 95% of instances in under a minute, helping save $5.1 billion in costs. The research leading to Clasp was honored with the Prominent Paper Award from the journal Artificial Intelligence in 2018.

Neil Newman, Alexandre Fréchette und Kevin Leyton-Brown (2017). Deep Optimization for Spectrum Repacking

05

Clingo is a powerful Answer Set Programming (ASP) grounder and solver from the Potassco project, the team led by Prof. Dr. Torsten Schaub at the University of Potsdam.
Spack is the de-facto standard for package management within the high-performance Computing (HPC) community. The core of Spack is the concretizer, a dependency and build configuration solver that selects an optimal build configuration from a nearly infinite space of options. Clingo has been an invaluable tool for the Spack project since 2020, when they replaced a custom, incomplete concretizer written in Python with a new implementation written using Clingo. Clingo’s expressiveness has enabled Spack to model complex dependency constraints and compose numerous optimization criteria into a single, coherent, maintainable solve – a feat that was intractable with their previous approach.

Spack: How a Logic Solver Tamed Supercomputer Software Complexity

Our solution tailored to your daily challenges.

We build custom AI solutions for large organizations facing complex optimization challenges that can’t be solved with off-the-shelf software.

Previously, these problems required manual work or makeshift solutions.
Now, our technology automates the entire process while keeping you in control.

We’re always open to partnerships with organizations whose expertise complements our own.

Production

Perfect design of products
and manufacturing processes

Healthcare

Fair and economical shift
planning

Logistics &
Rail

Routes that reduce costs
and save time

Mobility &
Digital Products

Scaled resource allocation
 

Complex decisions.
Clearly solved.
Our 3 main benefits

Trustworthy decisions

Transparent:
The ruleset (ASP) exposes the logic openly – easy to test and debug.

Reliable:
Mathematically correct – all specifications and constraints are guaranteed to be met.

Impactful:
Decisions are traceable and scalable – freeing staff from tedious planning work and enabling them to focus on what matters most.

Agile without rewrites

Flexible:
If requirements change, simply update the rules – the system remains stable.

Maintainable:
Separation of rules and solvers makes updates easy over time.

Cost-saving:
Changes require no recoding – drastically reducing development and maintenance effort.

Top performance
with complexity

Universal:
A powerful tool for many decision –
making tasks.

Efficient & optimal:
Smart algorithms quickly deliver the best solution based on your criteria.

Resource-friendly:
Faster decisions, fewer errors, less manual effort – resulting in tangible operational savings.

We are for industries where wrong decisions aren‘t an option.

See cases
Get in touch with us