update pet for sorting of arrays
[barvinok.git] / parker / count_solutions.h
blob811b5893332c0d8ef33aa9de7dec5eb3f92c463e
1 double count_solutions(Relation& r);