@MiniZinc

Pinned Loading

Showing 10 of 26 repositories

MiniZinc/MiniZincIDE's past year of commit activity

C++
175
MPL-2.0
26 32 0
Updated Aug 17, 2026
MiniZinc/FindMUS's past year of commit activity

C++
0 0 0 0
Updated Aug 17, 2026
MiniZinc/mzn-analyse's past year of commit activity

C++
0
MPL-2.0
0 0 0
Updated Aug 17, 2026
MiniZinc/libminizinc's past year of commit activity
minizinc-vendor Public
Dependency building for the MiniZinc compiler and IDE bundles

MiniZinc/minizinc-vendor's past year of commit activity

Python
0 0 0 0
Updated Aug 17, 2026
MiniZinc/minizinc-playground's past year of commit activity

Svelte
12
MPL-2.0
1 1 0
Updated Aug 17, 2026
MiniZinc/Globalizer's past year of commit activity

Haskell
0
MPL-2.0
0 0 0
Updated Aug 15, 2026
MiniZinc/minizinc-hs's past year of commit activity

Haskell
0
MPL-2.0
0 0 0
Updated Aug 14, 2026
minizinc-js Public
Use MiniZinc in the browser or with NodeJS

MiniZinc/minizinc-js's past year of commit activity

JavaScript
62
MPL-2.0
12 1 2
Updated Aug 7, 2026
MiniZinc/flatzinc-serde's past year of commit activity

Rust
2 1 0 1
Updated Aug 3, 2026

Loading…

Loading…