-
huub Public
Forked from huub-solver/huubA Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
Rust Mozilla Public License 2.0 UpdatedMay 14, 2026 -
mzn-bench Public
Forked from MiniZinc/mzn-benchA framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
Python UpdatedJun 6, 2025 -
sympy Public
Forked from sympy/sympyA computer algebra system written in pure Python
Python Other UpdatedJan 9, 2025 -
-
libminizinc Public
Forked from MiniZinc/libminizincThe MiniZinc compiler
C++ Other UpdatedSep 12, 2019
{{ message }}