<story><title>Building a constraint programming solver in Julia</title><url>http://opensourc.es/blog/constraint-solver-1</url></story><parent_chain><item><author>all2</author><text>Could we use this for arbitrary constraints like for mechanical modeling, or 3d animation?</text></item></parent_chain><comment><author>tobmlt</author><text>As part of my PhD dissertation, I wrote an &amp;quot;interval valued&amp;quot; constraint solver and a Python internal DSL based originally on miniKanren, that ran it.  The intervals handle the floating point in interval chunks, allowing for set-like reasoning and relational constraint programming atop floating point.&lt;p&gt;I used it to operate on a design space as a single entity, or sliced into finite chunks, and to cut out sub-spaces of infeasible designs by constraint propagation.&lt;p&gt;I think interval valued relational constraint programming could be extended (and probably already has) for mechanical modeling, and 3D animation, yes. 
But the utility of a purely discrete constraint solver, such as the one posted here, is maybe less for these types of cases. Interval systems methods (for solving nonlinear equations) have a long history in optimization and motion planning.  No reason a constraint solver couldn&amp;#x27;t be applied there.  Similarly, if you have a specific use case, I could try and offer more about constraint solving for it.&lt;p&gt;I should also note that constraint solving with real or and especially interval data goes back to at least the 80s.  I just made use of some low hanging fruit!</text></comment>
<story><title>Building a constraint programming solver in Julia</title><url>http://opensourc.es/blog/constraint-solver-1</url></story><parent_chain><item><author>all2</author><text>Could we use this for arbitrary constraints like for mechanical modeling, or 3d animation?</text></item></parent_chain><comment><author>jefft255</author><text>From a quick glance, this and most software doing “constraint programming” deal with discrete problems. Not saying those are useless for mechanical modeling or 3D animation, but those areas typically deal with continuous constraints which require different solvers. My experience in this is limited to a single class in CP 3 years ago so take this with a grain of salt!!</text></comment>