title: Minimize/maximize possible in clojure / core.logic?
body: <p>I'm looking for an idiomatic constraint satisfaction solver that can maximize or minimize a goal function, rather than producing a list of matching solutions.</p>
  
  <p>To be precise, I'm more interested in minimization (e.g., of gasoline consumption on a route that must also satisfy other constraints), but the question is:</p>
  
  <p>I'm currently looking at core.logic and am under the impression that the module will not do either max or min. As far as I understand, that functionality would usually be specifically denoted as CLP. Core.logic does mention CLP(FD) (<a href="https://github.com/clojure/core.logic/wiki/Features" rel="nofollow noreferrer">https://github.com/clojure/core.logic/wiki/Features</a>), but looking at the description, I keep having serious doubts.</p>
  
  <p>Could someone please comment on this - as my going through the entire Reasoned Schemer book would be too much, I guess?</p>