HYP3RSAT

API Documentation | Home | OpenAPI Spec

Quick Start

1. Get your API key:

curl -X POST https://api.hyp3rsat.com/v1/signup \
  -H "Content-Type: application/json" \
  -d '{"email": "[email protected]"}'

2. Solve a SAT problem:

curl -X POST https://api.hyp3rsat.com/v1/solve \
  -H "Authorization: Bearer YOUR_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{"cnf": "p cnf 3 2\n1 -2 0\n2 3 0"}'