Popular repositories Loading

1. Kombinatorik-1MA020 Kombinatorik-1MA020 Public

   Forked from vagdur/Kombinatorik-1MA020

   Filer och information för kursen i Kombinatorik (1MA020) vid Uppsala Universitet

   TeX

2. HiGHS HiGHS Public

   Forked from ERGO-Code/HiGHS

   HiGHS solver with my own config

   C++

3. run_backends run_backends Public

   Forked from astra-uu-se/run_backends

   A CLI script for running MiniZinc instances and generating Latex tables from the results

   Python

4. minizinc-python minizinc-python Public

   Forked from MiniZinc/minizinc-python

   Access to all MiniZinc functionality directly from Python

   Python