Popular repositories Loading

1. Numberjack Numberjack Public

   Forked from eomahony/Numberjack

   Python Combinatorial Optimisation Platform

   C++ 2

2. Team5Project Team5Project Public

   Team project website

   PHP 1

3. gnome-shell-extensions-negesti gnome-shell-extensions-negesti Public

   Forked from negesti/gnome-shell-extensions-negesti

   some gnome-shell extensions

   JavaScript 1

4. minimip minimip Public

   A simple solver for playing with the basics of Mixed Integer Programming.

   C++ 1

5. csplib csplib Public

   Forked from csplib/csplib

   A benchmark library for constraints

   Prolog

6. gecode gecode Public

   Forked from Gecode/gecode

   Generic Constraint Development Environment

   C++