@Levi-Armstrong and I are working on some demos for ROSCON that will include a slightly retooled interface to Descartes that makes it easier to express problems like this. Give me a few days and I should be able to start posting some reasonably useful stuff.
3 Likes