intcount_barvinok.cpp File Reference

#include "config.hpp"
#include <string>
#include <list>
#include <iostream>
#include <fstream>
#include "big_int.hpp"
#include "vector.hpp"
#include "matrix.hpp"
#include "gauss.hpp"
#include "lll.hpp"
#include "skeleton.hpp"
#include "rational.hpp"
#include "intcount_barvinok.hpp"

Go to the source code of this file.

---

Detailed Description

This file contains implementation for the Barvinok algorithm for counting integer points in polytope.

Definition in file intcount_barvinok.cpp.

---