Popular repositories Loading

1. yuck yuck Public

   Yuck is a local-search constraint solver with FlatZinc interface

   Scala 56 11

2. minizinc-challenge-results minizinc-challenge-results Public

   Tools to build and query a database of MiniZinc challenge results

   Python 5

3. minizinc-benchmarks minizinc-benchmarks Public

   Forked from MiniZinc/minizinc-benchmarks

   A suite of MiniZinc benchmarks.

   C

4. scala scala Public

   Forked from scala/scala

   Scala 2 compiler and standard library. For bugs, see scala/bug

   Scala

5. libminizinc libminizinc Public

   Forked from MiniZinc/libminizinc

   The MiniZinc compiler

   C++