Pinned

1. cutgeneratingfunctionology cutgeneratingfunctionology Public

   Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. By M. Köppe, Y. Zhou, C.Y. Hong, J. Wang with contributions b…

   Sage 12 11

2. cl-bibtex cl-bibtex Public

   A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

   Common Lisp 25 2

3. latte-int/latte latte-int/latte Public

   LattE integrale, software for counting lattice points and integration over convex polytopes

   C++ 37 13

4. LiDIA LiDIA Public

   LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL 2+ in 2006/2010. Not under active development. Minimal patch…

   C++ 26 8

5. lrslib lrslib Public

   Reverse search algorithm for vertex enumeration/convex hull problems by David Avis (http://cgm.cs.mcgill.ca/~avis/C/lrs.html). Git history on branch "upstream" created from release archives. Branch…

   Roff 13 2

6. sagemath/sage-numerical-backends-gurobi sagemath/sage-numerical-backends-gurobi Public

   Gurobi mixed integer linear programming backend for SageMath - can be installed on top of distributions providing SageMath. See also https://github.com/sagemath/sage-numerical-backends-cplex and ht…

   Cython 7 6