leophagus/Flow-Free-Solver

SAT based solver for Flow Free. Exact solution for multi-net mesh routing problem.

C++Stars 3Forks 0Watchers 3Open issues 3License BSD 2-Clause "Simplified" License

Details

仓库信息

Ownerleophagus

Homepage—

Last pushed2017-11-27

Last updated2025-12-15

Issues fetched at—

Community at a glance