6 results found Sort:

hakank
hakank hakank
76
370
mit
45
My public programs and models - mostly combinatorial problems and puzzles
ampl jgap setl z3py choco comet frink jacop picat gecode poplog prolog essence minizinc numberjack eclipse-clp sicstus-prolog answer-set-programming constraint-programming constraint-satisfaction
Created 2013-08-06
605 commits to master branch, last one 2 days ago
MiniZinc
minizinc-python MiniZinc
22
151
mpl-2.0
8
Access to all MiniZinc functionality directly from Python
python minizinc sat-solver linear-programming integer-programming optimisation-problem constraint-programming
Created 2020-07-23
504 commits to develop branch, last one 8 days ago
informarte
yuck informarte
11
56
other
6
Yuck is a local-search constraint solver with FlatZinc interface
flatzinc minizinc optimization vehicle-routing constraint-solver hierarchical-optimization multi-objective-optimization
Created 2016-06-19
528 commits to master branch, last one 10 months ago
paolodragone
pymzn paolodragone
15
55
mit
5
A Python wrapper for the MiniZinc tool pipeline.
jinja2 python minizinc constraint-programming
Created 2016-05-26
786 commits to master branch, last one 5 years ago
bokner
solverl bokner
7
41
mit
4
Erlang/Elixir interface to MiniZinc.
erlang minizinc elixir-lang optimization-tools discrete-optimization constraint-programming
Created 2020-07-01
350 commits to master branch, last one about a year ago
MiniZinc
minizinc-js MiniZinc
8
31
mpl-2.0
11
Use MiniZinc in the browser or with NodeJS
nodejs minizinc javascript sat-solver webassembly linear-programming integer-programming optimisation-problem constraint-programming typescript-definitions
Created 2022-11-09
77 commits to develop branch, last one 12 days ago