ferrox v0.3.12

ferrox v0.3.12

Constraint solving as a Converge Suggestor — OR-Tools CP-SAT and HiGHS MIP as first-class Formation agents.

What's included

Three problem domains, each with two competing Suggestors:

Problem	Heuristic Suggestor	Optimal Suggestor
Multi-Agent Task Assignment (MAATW)	GreedySchedulerSuggestor	CpSatSchedulerSuggestor
Job Shop Scheduling	GreedyJobShopSuggestor	CpSatJobShopSuggestor
Vehicle Routing with Time Windows	NearestNeighborSuggestor	CpSatVrptwSuggestor

Generic suggestors: GlopLpSuggestor, HighsMipSuggestor, CpSatSuggestor

gRPC server (ferrox-server) with mTLS and Bearer auth — deploy as a Docker container.

Benchmark highlights

• MAATW: CP-SAT schedules 60/60 tasks (greedy: 56/60) — proven optimal in 260 ms
• Job Shop: CP-SAT reduces makespan by 48.8% over SPT greedy on a 15×10 Taillard instance
• VRPTW: CP-SAT visits 60% more customers than nearest-neighbour on a 20-customer Solomon instance

Solvers

• Google OR-Tools CP-SAT v9.15
• HiGHS v1.14

Crates published

• ferrox — main library
• ferrox-ortools-sys — OR-Tools FFI
• ferrox-highs-sys — HiGHS FFI