Clojure2minizinc 0.2.0
This library provides an interface to the MiniZinc constraint modelling language (http://www.minizinc.org/), and constraint solvers supporting a FlatZinc interface (e.g., Gecode, http://www.gecode.org/flatzinc.html).
clojure2minizinc.core
clojure2minizinc provides an interface between MiniZinc and Clojure. The clojure2minizinc user models in Clojure constraint satisfaction or optimisation problems over Boolean, integer, real number, and/or set variables. clojure2minizinc translates them into MiniZinc, they are solved in the background by a compatible solver, and the result is read back into Clojure. clojure2minizinc code can be very similar to the corresponding MiniZinc code, but in addition the full power of Clojure is at hand.
Public variables and functions:
- !=
- *
- *fd-solver*
- +
- ++
- -
- --
- ->
- ->anArray
- ->aVar
- /
- <
- <-
- <->
- <=
- =
- ==
- >
- >=
- abort
- abs
- acos
- acosh
- aggregate
- all_different
- all_disjoint
- all_equal
- alldifferent
- alldifferent_except_0
- among
- and
- array
- array->clj-seq
- array1d
- array2d
- array3d
- array4d
- array5d
- array6d
- array_intersect
- array_union
- asin
- asinh
- assert
- at_least
- at_most
- at_most1
- atan
- atanh
- atleast
- atmost
- atmost1
- bin_packing
- bin_packing_capa
- bin_packing_load
- bool
- bool2int
- call-fn
- call-global-constraint
- call-operator
- call-unary-operator
- card
- ceil
- circuit
- clj2mnz
- concat
- constraint
- cos
- cosh
- count
- count_eq
- count_geq
- count_gt
- count_leq
- count_lt
- count_neq
- cumulative
- decreasing
- diff
- diffn
- disjoint
- distribute
- div
- dom
- dom_array
- dom_size
- element
- exactly
- exists
- exp
- fix
- float
- floor
- forall
- global_cardinality
- global_cardinality_closed
- global_cardinality_low_up
- global_cardinality_low_up_closed
- iffall
- in
- include
- increasing
- index_set
- index_set_1of2
- index_set_1of3
- index_set_2of2
- index_set_2of3
- index_set_3of3
- int
- int2float
- int_set_channel
- intersect
- inverse
- inverse_set
- is_fixed
- join
- lb
- lb_array
- length
- lex2
- lex_greater
- lex_greatereq
- lex_less
- lex_lesseq
- link_set_to_booleans
- literal-array
- literal-set
- ln
- log
- log10
- log2
- map->anArray
- map->aVar
- map2minizinc
- max
- maximum
- member
- min
- minimum
- minizinc
- mod
- not
- nth
- nvalue
- or
- output
- output-map
- output-var
- output-vector
- partition_set
- pow
- product
- range
- regular
- roots
- round
- set
- set2array
- show
- show_float
- show_int
- sin
- sinh
- sliding_sum
- solve
- sort
- sqrt
- strict_lex2
- string
- string?
- subcircuit
- subset
- sum
- sum_pred
- superset
- symdiff
- table
- tan
- tanh
- trace
- ub
- ub_array
- union
- value_precede
- value_precede_chain
- variable
- xor
- xorall