Repo

feasible

@adamsariby Adam Sari · Exara AI

0

Turns written operating rules into constraints, solves them with OR-Tools CP-SAT, independently verifies the plan with Z3, and issues signed (Ed25519) certificates.

Built withPythonconstraint-programmingcp-satschedulingz3fastapi

See what other members are building and what each project is looking for.