Description
The general development list about isl, barvinok, pet and PPCG. Anything relevant to the development or testing of isl, barvinok, pet or PPCG is suitable for discussion here: patch submissions and discussion of particular patches, bug reports, requests for features.