flowsolver. Flow (numberlink) puzzle solver written with C++ and Z3

github.com/s5bug/flowsolver

Problem

Audience

Updates

No founder updates yet. Check back soon.