SMT Solving
livePOST /v1/smt
Submit SMT-LIB 2.0 problems and get satisfiability verdicts, models, and unsat cores back — asynchronously, per call.
Learn more →Hosted developer APIs, metered and paid per call via x402 — pick a service and start in seconds.
POST /v1/smt
Submit SMT-LIB 2.0 problems and get satisfiability verdicts, models, and unsat cores back — asynchronously, per call.
Learn more →POST /v1/sat
Submit DIMACS CNF problems and get a satisfiability verdict back — asynchronously, per call.
Learn more →