Pyomo.GDP: an ecosystem for logic based modeling and optimization development
Qi Chen, Emma S. Johnson, David E. Bernal, Romeo Valentin, Sunjeev Kale, Johnny Bates, John D. Siirola, Ignacio E. Grossmann
Topics & Concepts
Computer scienceSolverContext (archaeology)ImplementationMathematical optimizationExploitTheoretical computer scienceSoftware engineeringProgramming languageMathematicsBiologyComputer securityPaleontologyFormal Methods in VerificationProcess Optimization and IntegrationCloud Computing and Resource Management