polyhedral_analysis
