An article exploring constraint solvers through the lens of a practical problem: designing a 1-bit Full-Adder circuit using only NAND gates while minimizing gate count and circuit depth. The author discusses their professional experience applying various constraint-solving techniques to distributed systems verification, mechatronic design, and parameter optimization.
An article exploring constraint solvers and constrained optimization through practical applications, using a 1-bit Full-Adder circuit built from NAND-gates as a concrete example to demonstrate how constraint satisfaction problems can model complex engineering challenges.
Pose Lab is an MCP tool for measuring 3D spatial positioning in Blender, designed to help pose first-person arms and rifles accurately. It provides precise measurements of clearance, surface angles, and joint anatomy constraints, with a solver that tests whether animation goals are geometrically achievable and reports which ones cannot be met.