Pinned Loading

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 26 2

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

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

   C++ 39 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++ 28 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 14 2