SAT Maker
The CES SAT Generator creates parameterised SAT instances using the Combinatorial Exponential Sequence to shape clause behaviour. Users can control variable count, clause ratio, arity, CES parameters, and noise to generate reproducible DIMACS CNF suitable for SAT solvers, ML pipelines, formal verification testing, quantum-classical optimisation research, and algorithm benchmarking. This API…
2 subscribers
1 endpoints
The in-depth APIMemo review for this API hasn't been published yet —
the data below comes straight from the public marketplace listing.
SAT Maker endpoints
| Method | Endpoint | Description |
|---|---|---|
| POST |
Generate CES SAT /ces-generate |
Generates a DIMACS CNF SAT instance using a proprietary CES-driven combinatorial generator. Inputs control variables, clause ratio, arity, weighting parameters, and noise. Output… |
SAT Maker pricing
| Plan | Price | Rate limit | Quotas |
|---|---|---|---|
| BASIC | Free | 2 / second |
|
| PRO | $59 / month | 5 / second |
|
| ULTRA | $299 / month | — |
|
| MEGA | $899 / month | 50 / second |
|
