Steel Mill Slab (CP-SAT WASM)

This demo reimplements the steel_mill_slab_sat.py sample entirely in TypeScript: you can choose between three solution approaches (standard SAT, SAT with table constraints, and column generation) and inspect the slab assignment returned by the WebAssembly module.

Problem

Solver

Break symmetries

Workers

Use worker bridge

Solver parameters (comma-separated key:value pairs)

Solution

No solution yet.

Status / Response: