Component Library of Problem Models for ALMM Solver

ABSTRACTThe article presents the software tool named Algebraic-Logical Meta-Model of Multistage Decision Processes (ALMM) Solver to solve combinatorial and discrete optimization problems including non-deterministic polynomial-time hard ones. The solver utilizes the modelling paradigm named ALMM and its theory, both developed by Dudek-Dyduch E. ALMM enables a unified approach to creating discrete optimization problem models and representing knowledge about the problems as well as the solving methods for them. The models have a component structure and are stored in a module named Problem Model Library (PML). A new, extended modular structure of ALMM Solver is presented together with a basic layout of the PML. The article focuses on application of the component technology to the PML designing and component modelling of different type of limitations. General library source code organization is proposed. Considerations are illustrated by means of a sample class of scheduling problems.