MiniZinc/libminizinc
The MiniZinc compiler
Unavailable
GitHub Trending MiniZinc
Discover GitHub Trending MiniZinc repositories gaining attention today.
Compare stars, forks, recent star growth, and programming language across popular open-source projects.
Trending Repositories
MiniZinc/minizinc.github.io
The website for the MiniZinc constraint modelling system
Unavailable
MiniZinc/mzn-challenge
An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
Unavailable
nfzhou/fzn_picat
No repository description provided.
Unavailable
jmjrawlings/MiniZinc.Net
MiniZinc ↔ .NET
Unavailable
Vlamonster/orthorio
Hobby project to solve complex multi-agent pathfinding problems using Factorio's conveyor belts.
Unavailable
crespina/LLM4CP
No repository description provided.
Unavailable
hadipourh/zeroplus
Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
Unavailable