Similar repositories to cddlib/polyhedral_faq: