redfast00/LinjatSolver

A solver for Linjat (https://linjat.snellman.net) using Z3

1 best points · 0 comments · 1 Hacker News post · 0 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: A Linjat Solver Using Z3 (1 points, 0 comments, by redfast00, 2019-02-06)