clojure2minizinc icon indicating copy to clipboard operation
clojure2minizinc copied to clipboard

A Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background

Results 1 clojure2minizinc issues
Sort by recently updated
recently updated
newest added

For constraint problems that take longer time to solve, interrupting the Clojure evaluation should also interrupt the constraint search of the solver (send the shell process an interrupt signal, Ctrl-C).