2 results found Sort:

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