MiniZinc / libminizinc

git clone https://github.com/MiniZinc/libminizinc.git

The MiniZinc compiler

stars, 24h · #41,660

+~0

stars, 7 days · #41,734

+~0

stars, 30 days · #41,872

704

★ total

100

forks · 121 open issues

2026-10-20 · 704 ★ 2026-10-22 · 704 ★

LanguageMiniZinc

License—

Created2015-01-21 (11y ago)

Last push3d ago

OwnerOrganization