# compute.siliq.io OR-Tools CP-SAT Solver

> compute.siliq.io OR-Tools CP-SAT Solver is a paid API for AI agents from compute.siliq.io, paid per call via x402, $0.010000/call, status down (last checked 2026-09-15).

Accepts a constraint satisfaction or optimization problem defined as constraints and variables, and returns a verified feasible or optimal solution using Google OR-Tools CP-SAT solver.

## Facts

- Endpoint: POST https://compute.siliq.io/solve
- Price: $0.010000/call
- Payment: x402
- Status: down
- Last checked: 2026-09-15
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/compute-siliq-io-73770449
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_kXXIFapr7SJxG2sOSlpou

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

## How to call it through Zero

Zero handles the 402 payment challenge and records the run. With the Zero CLI installed (`npm i -g @zeroxyz/cli`):

```sh
zero fetch --capability compute-siliq-io-73770449 -d '<json body>'
```

Example prompt: I need to assign 8 workers to 3 shifts (morning, afternoon, night) over 5 days — each shift needs at least 2 workers, no worker can do more than 5 shifts total, and workers Alice and Bob can't share the same shift. Can you run the CP-SAT solver to find a valid assignment?

## When to prefer this

Use this endpoint when you need a verified, provably correct solution to a discrete or combinatorial optimization problem — scheduling, assignment, packing, routing — especially when you need hard constraint satisfaction guarantees. Prefer over heuristic or metaheuristic solvers when correctness matters. Prefer over LP solvers when variables are integer or Boolean. Best for problems expressible in CP-SAT's constraint language.

## Known failure modes

- Infeasible problem: constraints are contradictory, solver returns INFEASIBLE status
- Timeout: problem too large or complex for solver time limit, returns UNKNOWN status
- Malformed constraint input: missing variable definitions or invalid constraint syntax returns 4xx error
- Unbounded objective: no finite optimum exists, returns error or UNBOUNDED status
- Payment failure: x402 payment not processed, returns 402 with payment requirements

## Output

Returns a solution object containing: the solver status (OPTIMAL, FEASIBLE, INFEASIBLE, or UNKNOWN), assigned values for all decision variables, and an optimality or feasibility certificate. If a solution exists, variable assignments are verified to satisfy all submitted constraints.

## Example request

```json
{
 "input": {
  "body": {
   "objective": {
    "type": "minimize",
    "expression": "x1 + x2"
   },
   "variables": {
    "x1": {
     "domain": [
      0,
      10
     ]
    },
    "x2": {
     "domain": [
      0,
      10
     ]
    }
   },
   "constraints": [
    {
     "type": "linear",
     "expression": "x1 + x2 >= 5"
    },
    {
     "type": "linear",
     "expression": "x1 <= 8"
    }
   ]
  },
  "type": "http",
  "method": "POST",
  "bodyType": "json"
 }
}
```

## Request schema (JSON Schema)

```json
{
 "type": "object",
 "$schema": "https://json-schema.org/draft/2020-12/schema",
 "required": [
  "input"
 ],
 "properties": {
  "input": {
   "type": "object",
   "required": [
    "type",
    "method",
    "bodyType",
    "body"
   ],
   "properties": {
    "body": {
     "properties": {}
    },
    "type": {
     "type": "string",
     "const": "http"
    },
    "method": {
     "enum": [
      "POST",
      "PUT",
      "PATCH"
     ],
     "type": "string"
    },
    "bodyType": {
     "enum": [
      "json",
      "form-data",
      "text"
     ],
     "type": "string"
    }
   },
   "additionalProperties": false
  },
  "output": {
   "type": "object",
   "required": [
    "type"
   ],
   "properties": {
    "type": {
     "type": "string"
    },
    "example": {
     "type": "object"
    }
   }
  }
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/compute-siliq-io-73770449/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from compute.siliq.io](https://www.zero.xyz/host/compute.siliq.io/llms.txt)