Nemati AI | semiexp/numlin — Numberlink solver | Nemati AI