PAT Compiler (API-only)
This repo does not host weights. Use the hosted API to compute answers with certificates.
- Health:
GET /v1/healthz
- Solve:
POST /v1/solve with x-api-key
- Batch:
POST /v1/batch_solve (poll with GET /v1/jobs/{job_id})
Contact to request access. Internals are not disclosed.