There was a mention of linear programming in this thread<https://groups.google.com/d/topic/clojure/oFCk5rOQUUo/discussion>about core.logic.
I wonder: Is it possible to compose the techniques? I've only just started digging into core.logic (ie today), but I've messed with less-general constraint systems in the past. My prior experience is primarily with physics engines in games, but also some linear solvers. In particular, I'm thinking about future efforts in GUI applications. Consider for Adobe's Adam and Eve<http://stlab.adobe.com/group__asl__overview.html#asl_overview_adam_and_eve_architecture>, which are a property model and layout engine respectively. Adam uses a specialized solver for resolving multi-way dataflow; Eve uses a linear solver for constraining the geometry of UI widgets. I'd suspect the specialized solvers provide performance and predictability tuned to their particular use cases. It's worth noting is that both components must provide interactive performance. I wonder if there is some way to leverage the infrastructure of core.logic backed by different types of solvers. -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
