• License: GPL-2.0-only
• Home: https://barvinok.sourceforge.io/
• Development: https://repo.or.cz/w/barvinok.git
• Documentation: https://barvinok.sourceforge.io/barvinok.pdf
• 24373 total downloads
• Last upload: 1 year and 2 months ago

Description

barvinok is a library for counting the number of integer points in parametric and non-parametric polytopes. For parametric polytopes an explicit function in the shape of a piece-wise step-polynomial is constructed. This is a generalization of both Ehrhart quasi-polynomials and vector partition functions. Alternatively, a generalized Ehrhart series can be constructed as well.