Tag Archives: constraint

SMT solutions

Posted on July 30, 2018 by Brent

In my last post I described the general approach I used to draw orthogons using an SMT solver, but left some of the details as exercises. In this post I’ll explain the solutions I came up with. Forbidding touching edges … Continue reading →

Posted in computation, geometry | Tagged , , , , , , , , | Comments Off on SMT solutions

Drawing orthogons with an SMT solver

Posted on July 12, 2018 by Brent

I’m long overdue to finish up my post series on orthogons as promised. First, a quick recap: An orthogon is a polygon with only right angles. Two orthogons are considered the same if you can turn one into the other … Continue reading →

Posted in computation, geometry | Tagged , , , , , , , , , | 1 Comment

Why drawing orthogons is hard

Posted on April 5, 2018 by Brent

We’re nearing the end of this little diversion on orthogons. We now know that orthogons are in 1-1 correspondence with orthobraces, and we can efficiently generate orthobraces. The only thing left is to find a way to turn orthobraces into … Continue reading →

Posted in computation, geometry | Tagged , , , , , , | 3 Comments