Liking cljdoc? Tell your friends :D

loco.core


->chococlj

(->choco solver data)

(INTERNAL) Memoized version of ->choco*

(INTERNAL) Memoized version of ->choco*
sourceraw docstring

->choco*cljmultimethod

(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).
sourceraw docstring

(default-search)

Create default search strategy

Create default search strategy
sourceraw docstring

solveclj

(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:

  • :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.
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.
sourceraw docstring

cljdoc is a website building & hosting documentation for Clojure/Script libraries

× close