Flat White Vitriol (FZnSO)
One interface for constraint and optimisation solvers, loaded at run time as ordinary libraries, with no subprocess, text format, or re-flattening between solves.
Start where you are
Section titled “Start where you are”I want to use a solverLoad a solver by name, describe a problem, and read solutions back, from Rust, C++ or Python.
I want to implement a solverExport thirteen entry points from a dynamically loadable library and every FZnSO consumer can drive your solver.
I need the exact rulesThe normative specification: entry points, types, lifetimes, threading and ABI stability.
What names should I use?The registry of common constraints, options, objectives, statistics and message scopes.