(->choco solver data)
(INTERNAL) Memoized version of ->choco*
(INTERNAL) Memoized version of ->choco*
(INTERNAL) Given Clojure data generated by the Loco DSL, returns a Choco variable (to be used inside a constraint), or returns a constraint (to be posted to the solver).
(INTERNAL) Given Clojure data generated by the Loco DSL, returns a Choco variable (to be used inside a constraint), or returns a constraint (to be posted to the solver).
(default-search)
Create default search strategy
Create default search strategy
(solve problem)
(solve problem args)
Solves the solver using the constraints and returns nil if no solution, or a lazy seq of maps (for each solution) if no objective set, or a map of solution if with objective, the map includes pairs from variable names to their values. Keyword arguments:
Solves the solver using the constraints and returns nil if no solution, or a lazy seq of maps (for each solution) if no objective set, or a map of solution if with objective, the map includes pairs from variable names to their values. Keyword arguments: - :timeout <number> - the sequence ends prematurely if the timer exceeds a certain number of milliseconds. - :maximize <var> - finds all solutions that maximize the given var or expression. NOT lazy. - :minimize <var> - finds all solutions that minimize the given var or expression. NOT lazy.
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close