# barvinok_binary

**Repository Path**: sunflower_wiki/barvinok_binary

## Basic Information

- **Project Name**: barvinok_binary
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: LGPL-3.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2022-03-30
- **Last Updated**: 2024-06-08

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Barvinok Binary for Polyite

## Description

A binary that can be called by Polyite to use Barvinok's counting algorithm.

This program is part of project Polyite, which is released under the GNU Lesser General Public License, version 3 or later. It depends on libbarvinok, version 0.39, which is GPL licensed.

## Installation

To get libbarvinok, run

```bash
git clone http://repo.or.cz/barvinok.git
git checkout barvinok-0.39
```

and follow the build instructions.

To build the binary, run
```bash
clang -std=c99 -I <path to libbarvinok installation directory>/include/ -L <path to libbarvinok installation directory>/lib/ -lbarvinok -lisl count_integer_points.c -o count_integer_points
```

(C) 2017 Stefan Ganser