The problem needs the right operation
The selected supported MDP, partition-function or counting input.
One product for certified MDP values, partition-function bounds and model counting.
Garmo SolversSPINFORGE / A GARMO LABS COMPANY
certnum
One product for certified MDP values, partition-function bounds and model counting.
Customer outcomeBuild better plans and decisions ↗
THE PRODUCT, IN PRACTICE
Values, bounds and counts.
One numerical product.
certnum brings MDP value iteration, partition-function bounds and model counting into one current solver product. It originated from Forge15’s valueforge, certcount and satforge. Those original modules remain an unchanged, separate library.
- BUILT FOR
- Planning, probabilistic-modeling and counting teams.
CHALLENGES → PRODUCT RESPONSEThe problem you face.
The problem you face.
What the product changes.
YOUR CHALLENGEWITH CERTNUM
A result must answer the original question
An answer detached from its original constraints or input is difficult to rely on.
The suite rechecks the answer against the original input and identifies the applicable result state.
The comparison needs a defined scope
A capability or benchmark result is not a universal promise for a different workload.
Evaluate the selected input, resource budget, complete cost and required certificate against your baseline.
WHAT YOU GETA defined capability.
A defined capability.
A useful result.
Selected solving capability
One product for certified MDP values, partition-function bounds and model counting.
Original-input result
Values, bounds or counts with the operation-specific certificate.
Common access
Use the released garmo CLI and garmo-mcp server; headless execution fits scripts and automated workflows.
Explicit certificate status
Optimality and infeasibility claims carry a certificate or are labeled uncertified.
GARMO SOLVERS 1.0.2 / REPORTED STUDY
No comparison recorded
The source identifies MDP error bounds, AIS partition-function bounds and model counting checked against OEIS; no head-to-head verdict is recorded.
Source: owner-supplied release account. These are retained study results, not tests rerun for this publication or universal competitor rankings.
Read the full comparative evidenceEXAMPLE CUSTOMER WORKFLOW
Use certnum in a defined workflow
A customer has a supported model and wants an accepted result without adopting every other module.
Illustrative customer use—not a new benchmark or completed customer deployment.- 01→
Provide the original input and define the useful outcome.
- 02→
Run the selected module under its supported resource and interface scope.
- 03→
Review the returned answer, original-input checks and completion state.
FIT & ACCEPTANCEStart with the task.
Start with the task.
Agree the useful outcome.
- What you bring
- The selected supported MDP, partition-function or counting input.
- What a useful evaluation measures
- +Accepted original-model result
- +Appropriate certificate or disclosed uncertified state
- +Total time, memory and operating cost
- Delivery
- License the selected capability, commission an implementation, or agree an operated service. Infrastructure and additional engineering are specified separately.
QUESTIONS BEFORE BUYINGA clear scope.
A clear scope.
A clear relationship.
What is the important boundary?−
The three modes are capabilities inside one product, not three additional current solver products.
How is it priced?+
No new standalone price is supplied for this product; request a scoped proposal. The platform plans buy qualified workflows and capacity, not a second charge every time a compatible method is selected. Existing bundle inclusions do not expand automatically.
How do we get access?+
Available through garmo CLI and garmo-mcp, including headless execution. Product-specific inputs, runtime dependencies, budgets and result checks remain explicit.
PUT THE PRODUCT TO WORK
Tell us what needs to improve.
Bring a task, an accepted outcome and the environment in which the product needs to work.
PRODUCT RELATIONSHIPS
Related, not interchangeable.
ONE PLATFORM
Choose a qualified workflow.
Select the capability you need directly or include its compatible role in a qualified platform workflow. Production scope identifies release, environment, capacity and support; a product count is not an entitlement.
Explore monthly plans See the system connectionsSTART WITH THIS PRODUCT
Use the software directly or ask us to scope the implementation.