--- title: Garmo Solvers — 21 modules | SpinForge url: https://spin-forge.com/solvers description: Choose the operation your problem needs. All twenty-one run through garmo and garmo-mcp, and recheck answers against the original input. Optimality or… --- GARMO SOLVERS 1.0.2 SPINFORGE / A GARMO LABS COMPANY # 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. [Inspect the comparative evidence](https://spin-forge.com/results/garmo-solvers) [Talk about your workload](https://spin-forge.com/contact) THE RELEASED SUITE ## Find a useful method. Find a module Family 21 modules [01 ### MaxSAT Satisfy hard clauses while optimizing weighted soft requirements. Reported win](https://spin-forge.com/solvers/maxsat) [02 ### CertCut Solve Max-Cut/Ising problems with independently checkable optimality evidence where completed. Reported win](https://spin-forge.com/solvers/certcut) [03 ### CP Constraint programming for supported XCSP3 models and scheduling. Reported scheduling win](https://spin-forge.com/solvers/cp) [04 ### Partition Divide a supported graph or hypergraph while evaluating its partition objective. Reported win](https://spin-forge.com/solvers/partition) [05 ### VRP Plan vehicle routes under supported CVRP and VRPTW requirements. Reported narrow win](https://spin-forge.com/solvers/vrp) [06 ### SMT Check supported bit-vector and integer-arithmetic requirements. Reported scale win](https://spin-forge.com/solvers/smt) [07 ### Router Select compatible computational backends, race them and apply execution guards. Reported portfolio win](https://spin-forge.com/solvers/router) [08 ### QBF Solve quantified Boolean formulas with their quantifier order retained. Reported loss](https://spin-forge.com/solvers/qbf) [09 ### TSP Find tours for supported traveling-salesman problems. Reported loss](https://spin-forge.com/solvers/tsp) [10 ### Presolve Preprocess supported CNF before MaxSAT execution. Not promoted](https://spin-forge.com/solvers/presolve) [11 ### Conic Solve supported linear, quadratic and second-order-cone models. No GPU gain](https://spin-forge.com/solvers/conic) [12 ### CertOT Solve optimal-transport and assignment problems with the appropriate checks. Correct; slower](https://spin-forge.com/solvers/certot) [13 ### MINLP Evaluate supported mixed-integer nonlinear models from OSiL/PIP inputs. Completion evidence](https://spin-forge.com/solvers/minlp) [14 ### CertBQP Optimize binary quadratic choices subject to linear constraints. No comparison recorded](https://spin-forge.com/solvers/certbqp) [15 ### certnum One product for certified MDP values, partition-function bounds and model counting. No comparison recorded](https://spin-forge.com/solvers/certnum) [16 ### MIP Select a mixed-integer programming path for a supported constrained model. No later verdict](https://spin-forge.com/solvers/mip) [17 ### Krylov Solve matrix-free linear systems with a recomputed true-residual certificate. Comparison incomplete](https://spin-forge.com/solvers/krylov) [18 ### HOBO Optimize higher-order binary models with three- and four-body terms. No comparison recorded](https://spin-forge.com/solvers/hobo) [19 ### Toroidal Solve supported toroidal and planar spin-glass instances exactly. No comparison recorded](https://spin-forge.com/solvers/toroidal) [20 ### Batch Execute thousands of supported tiny QUBO or SAT instances in a batch. No comparison recorded](https://spin-forge.com/solvers/batch) [21 ### Unroute Prove early when a supported routing or flow problem cannot be routed. No comparison recorded](https://spin-forge.com/solvers/unroute) LINEAGE, NOT DUPLICATION ## 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 library](https://spin-forge.com/forge15) COMMERCIAL SCOPE ## Current 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](https://spin-forge.com/licensing?tab=solvers)