PSPløsning

PSPløsning is a framework for structured problem solving that combines a formal problem specification language, a solver engine, and a results-tracking toolkit. The term blends the Danish/Norwegian word løsning, meaning "solution," reflecting its Nordic roots and focus on repeatable, well-documented results. It helps teams articulate complex problems, explore feasible solutions, and compare tradeoffs transparently.

PSPløsning rests on three pillars. The problem specification language lets users declare variables, constraints, and objectives in a readable, tool-agnostic syntax. The solver engine can route specifications to multiple backends, such as constraint programming, SAT/SMT, and optimization solvers. The results layer offers visualization, verification, and experiment-tracking to support reproducible workflows. The system supports modular plug-ins and case libraries.

Typical workflows begin by formalizing a problem in PSP, selecting solvers, and running experiments to identify feasible solutions and performance metrics. Users can iterate by refining constraints, adjusting objectives, or trying different backends, with results archived for auditability. Applications include manufacturing and logistics planning, software project scheduling, energy optimization, and urban planning analysis.

Origins: PSPløsning emerged in Scandinavian academic and open-source communities in the 2010s as an effort to standardize problem modeling and solver integration. It is under active development, focusing on interoperability, language design, and tooling. PSPløsning sits alongside constraint programming, mathematical optimization languages, and modeling frameworks, offering a unified specification and reproducible workflow.