66 skills found · Page 1 of 3
MiniZinc / LibminizincThe MiniZinc compiler
hakank / HakankMy public programs and models - mostly combinatorial problems and puzzles
MiniZinc / Minizinc PythonAccess to all MiniZinc functionality directly from Python
MiniZinc / MiniZincIDEThe MiniZinc IDE
MiniZinc / Minizinc Examplessmall MiniZinc examples demonstrating various language features
MiniZinc / Minizinc BenchmarksA suite of MiniZinc benchmarks.
tanders / Clojure2minizincA Clojure library designed to solve constraint satisfaction problems by using MiniZinc in the background
informarte / YuckYuck is a local-search constraint solver with FlatZinc interface
MiniZinc / Minizinc JsUse MiniZinc in the browser or with NodeJS
paolodragone / PymznA Python wrapper for the MiniZinc tool pipeline.
bokner / SolverlErlang/Elixir interface to MiniZinc.
claudiosa / CCSProgramming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc
hadipourh / AutoguessAn easy-to-use, general and open-source tool to solve the guess-and-determine problem
huub-solver / HuubA Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
unitn-sml / PyconstructPython library for declarative, constrained, structured-output prediction.
jump-dev / MiniZinc.jlA Julia interface to the MiniZinc constraint modeling language
siemens / JMiniZincJMiniZinc
vale1410 / Vim MinizincSyntax highlighting for minizinc (CP) and gringo (ASP) source code.
isse-augsburg / MinibrassModeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc
MiniZinc / Minizinc.github.ioThe website for the MiniZinc constraint modelling system
