Tags: discrete mathematics, combinatorics, optimization, library.
Homepage: http://www.dbai.tuwien.ac.at/proj/StarFLIP/