rulebound

Interactive Constraint Solver

Mode

Seed

Speed 200ms

Stats

Variables --

Constraints --

Propagations --

Backtracks --

Solve time --

Status Ready

GitHub · crates.io