---
title: certnum — current product | SpinForge
url: https://spin-forge.com/solvers/exact-counting
description: The former MDP, log-Z and exact-counting catalog entries are capabilities of the current certnum product.
---

CATALOG ALIAS SPINFORGE / A GARMO LABS COMPANY

# certnum

The former MDP, log-Z and exact-counting catalog entries are capabilities of the current certnum product.

[Open the current product](https://spin-forge.com/solvers/certnum) [Talk about your workload](https://spin-forge.com/contact)