use isl to perform "manual_count"

[barvinok.git] / matrix_read.h

#include <iostream>
#include <barvinok/polylib.h>
#include "conversion.h"

Matrix *Matrix_Read(std::istream& is);