Noq - logic puzzle solver
by Jenna and Michael using claspy

Number placement

© 2022; general layout of this page borrowed from puzz.link