プログラム iop.sf.net

多面体とハイパープレーン配置に関する操作の C++ ライブラリ。http://math.sfsu.edu/beck/teach/masters/andrewv.pdfの「裏面ポリトープ」の格子点列挙の理論法と計算方法を参照してください。