What does Both Hemispheres sell?
The current public offer focuses on two things: a scalable SAT solver workflow for DIMACS CNF inputs and an OpenAI-compatible LLM API on a shared prepaid balance.
FAQ
Questions buyers usually ask before trying the service
This page is meant to reduce evaluation friction. It covers the public pricing model, current operational limits, and the fastest way to get help from a human.
Answers
Public-service FAQ
What SAT input format is accepted?
The public SAT workflow currently accepts `.cnf` files in DIMACS CNF format up to `100 MB`.
Do you charge for UNSAT or UNKNOWN results?
No. `UNSATISFIABLE` and `UNKNOWN` SAT outcomes are visible for free. The public SAT charge applies when a satisfying assignment exists and you choose to unlock it.
What is the LLM API shape?
The LLM API is OpenAI-compatible and exposes routes such as `/v1/models` and `/v1/chat/completions`.
How do trial credits work?
Create an account on the main page, receive the current trial balance, and use it to test the public SAT or LLM paths before topping up.
Can I request a custom benchmark?
Yes. Email support with the workload description and the goal of the benchmark, and a custom evaluation path can be discussed.
Next Step
Read the FAQ, then run one real test
If the answers above fit your use case, use the trial-credit path and benchmark the service on your own prompt flow or CNF instance.