rezolv

Rezolv is an open-source platform for formulating and solving optimization problems. It supports linear programming, mixed-integer programming, constraint programming, and scheduling, with extensions for SAT-based tasks. The project emphasizes accessibility and interoperability, providing a modeling language, language bindings, and a REST API for integration.

Key features include a modular solver core with pluggable backends, such as CBC and GLPK, and a high-performance Rust-based core under development. A domain-specific language called Rezolv lets users declare variables, constraints, and objectives, while bindings exist for Python, C++, and JavaScript. A web dashboard, batch submission, and result caching support common workflows.

Architecture centers on translating Rezolv models to backend-compatible representations. The core emphasizes extensibility, parallel search, and separation between modeling, solving, and I/O, and runs in local or cloud environments.

History and governance: Rezolv emerged from a global open-source community and released its first major version in the early 2020s. It uses an open governance model with public repositories, issue tracking, and maintainer oversight.

Applications and reception: It is used in logistics, timetabling, and resource allocation, as well as academic research. Users value its approachable API and rapid prototyping; performance comparisons with established solvers vary by problem size and characteristics.