Algorithm: Chernikova's algorithm for converting systems of linear inequalities to generators

Class:
Algorithm