Tag Archives: global

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