Popular repositories Loading

1. libminizinc libminizinc Public

   Forked from MiniZinc/libminizinc

   The MiniZinc compiler

   C++

2. copperbench copperbench Public

   Forked from tlyphed/copperbench

   Python

3. sympy sympy Public

   Forked from sympy/sympy

   A computer algebra system written in pure Python

   Python

4. huub huub Public

   Forked from huub-solver/huub

   A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

   Rust

5. mzn-bench mzn-bench Public

   Forked from MiniZinc/mzn-bench

   A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.

   Python