Aleksandra Jovanovic
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD

On 19 Sep 2014, at 19:13, Roberto Bagnara <bagnara@cs.unipr.it> wrote:

#include <ppl.hh>

using namespace std;
using namespace Parma_Polyhedra_Library;
using namespace Parma_Polyhedra_Library::IO_Operators;

int main() {
NNC_Polyhedron ph(3);
Variable A(0);
Variable B(1);
Variable C(2);
ph.add_constraint(3*A + B + 5*C < A + 5*B + 3*C);
cout << ph.minimized_constraints() << endl;
return 0;
}