Constraint Solving API
Send your optimization problem as JSON. We pick the right solver, run it sandboxed, and return results in milliseconds.
Assign three workers to different shifts. Alice can't take morning, Bob must be before Carol, maximize Carol's shift.
$ curl -X POST https://solver.fastflowtech.ai/solve
{
"variables": [
{"name": "alice", "type": "int",
"domain": {"min": 0, "max": 4}},
{"name": "bob", "type": "int",
"domain": {"min": 0, "max": 4}},
{"name": "carol", "type": "int",
"domain": {"min": 0, "max": 4}}
],
"constraints": [
{"type": "all_different",
"vars": ["alice", "bob", "carol"]},
{"type": "expression",
"expression": "alice != 0"},
{"type": "expression",
"expression": "bob < carol"}
],
"objective": {
"target": "carol", "goal": "maximize"
}
}{
"status": "optimal",
"solution": {
"alice": 1,
"bob": 3,
"carol": 4
},
"stats": {
"solver": "cpsat",
"solve_time_us": 583,
"routing_reason": "all_different"
}
}Send JSON in, get solutions back. We handle solver selection, sandboxing, and scaling.
Your problem is analyzed and sent to the best engine. SCIP for linear, CP-SAT for constraints, Z3 for nonlinear.
Every solve runs isolated with memory limits and timeouts. Ship to production without worrying about runaway computations.
Expressions, all_different, implications, cardinality, table constraints, enums, and floats. Model real business rules directly.
SCIP solves linear problems in under 1ms. Preprocessing tightens domains and breaks symmetry before solving.
No solver libraries to install. Define variables, constraints, and objectives in JSON your team already understands.
Track your solves, solver distribution, and quota usage in real time. Monthly quotas per tier keep usage predictable.
Float/real variable support for LP relaxation problems. Use int, bool, enum, or float types.
Predictable usage with per-tier monthly quotas. Demo: 100, Starter: 1,000, Pro: 5,000, Enterprise: unlimited.
Declare variables with domains, add constraints as expressions or built-in types, set an optional objective.
Send your JSON. The API preprocesses, picks the best solver, and runs it in an isolated process.
Receive assignments, status, solve stats, and preprocessing details. Typically under 1ms.
Anywhere you need the best assignment under constraints.
Workers to shifts, rooms to events, tasks to machines — conflict-free.
Optimize budgets, portfolios, or inventory across your constraints.
Valid product configs, layouts, or parameter sets under business rules.
Route vehicles, sequence production, or schedule within capacity.
Free tier available — no credit card required.