.. nodoctest

Electronic compendium of procedures for the 1-row Gomory--Johnson model
=======================================================================

.. automodule:: cutgeneratingfunctionology.igp.procedures
   :members:
   :undoc-members:
   :show-inheritance:
   :imported-members:

Related correctness proof
-------------------------

.. toctree::
   :maxdepth: 1

   procedures_injective_2_slope_fill_in_proof