21 solvers.
One shared access path.
Choose the operation your problem needs. All twenty-one run through garmo and garmo-mcp, and recheck answers against the original input. Optimality or infeasibility is certified or explicitly labeled uncertified.
Find a useful method.
MaxSAT
Satisfy hard clauses while optimizing weighted soft requirements.
CertCut
Solve Max-Cut/Ising problems with independently checkable optimality evidence where completed.
CP
Constraint programming for supported XCSP3 models and scheduling.
Partition
Divide a supported graph or hypergraph while evaluating its partition objective.
VRP
Plan vehicle routes under supported CVRP and VRPTW requirements.
SMT
Check supported bit-vector and integer-arithmetic requirements.
Router
Select compatible computational backends, race them and apply execution guards.
QBF
Solve quantified Boolean formulas with their quantifier order retained.
TSP
Find tours for supported traveling-salesman problems.
Presolve
Preprocess supported CNF before MaxSAT execution.
Conic
Solve supported linear, quadratic and second-order-cone models.
CertOT
Solve optimal-transport and assignment problems with the appropriate checks.
MINLP
Evaluate supported mixed-integer nonlinear models from OSiL/PIP inputs.
CertBQP
Optimize binary quadratic choices subject to linear constraints.
certnum
One product for certified MDP values, partition-function bounds and model counting.
MIP
Select a mixed-integer programming path for a supported constrained model.
Krylov
Solve matrix-free linear systems with a recomputed true-residual certificate.
HOBO
Optimize higher-order binary models with three- and four-body terms.
Toroidal
Solve supported toroidal and planar spin-glass instances exactly.
Batch
Execute thousands of supported tiny QUBO or SAT instances in a batch.
Unroute
Prove early when a supported routing or flow problem cannot be routed.
No modules match that search.
Forge15 stays unchanged.
krylov_scale is the checksummed old-path baseline for Krylov. sinkhorn_ot informed CertOT’s starting specification. valueforge, certcount and satforge were starting components for certnum. Forge15 remains a separate, unchanged fifteen-module library.
Explore the original libraryCurrent release.
Explicit rights.
The prior seventeen-track price proposal is retained as legacy scope, not silently expanded. Newly listed CP, SMT, QBF, TSP, Presolve and MINLP and the consolidated certnum product receive an explicitly scoped quote. In a qualified platform workflow, compatible method selection does not trigger a second software purchase.
Review licensing