Pricing

Clear public pricing for reasoning workloads

Both Hemispheres uses a simple prepaid-credit model. The current public offer focuses on SAT solving and an OpenAI-compatible LLM API. The theorem demo is a lead-generation and preview feature, not the main revenue lane.

Public Offer

Current product pricing

Scalable SAT Solver

Upload up to `100 MB`, run a one-hour single-thread job, and pay only when a satisfying assignment exists and you want to unlock it.

`SATISFIABLE`: `$10` to unlock the assignment
`UNSATISFIABLE`: visible for free
`UNKNOWN`: visible for free

LLM API

OpenAI-compatible prepaid inference on the public Llama offer.

Prompt tokens: `$0.50 / 1M`
Completion tokens: `$0.50 / 1M`
Shared prepaid balance with the SAT service

Theorem Demo

The theorem harness is currently a preview surface to demonstrate reasoning workflows. It helps qualify technical buyers and supports future product expansion.

Notes

What buyers should know

Pricing is designed for low-friction evaluation, not enterprise contracting.
The same balance can be used across the public SAT and LLM services.
If you need a custom benchmark or workload lane, contact support before scaling usage.
If a billing issue appears, contact support and the issue can be reviewed manually.

Next Step

Start with trial credits and test one real workload

The fastest way to evaluate the price-to-value ratio is still a live run on your own CNF instance or your own prompt flow.

Start with trial credits See benchmarks