CEC-SAT verification software for ISTD 2D Design Challenge - View it on GitHub