Noq - logic puzzle solver
by Jenna and Michael using claspy
Number placement

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