ModelExplorer - software for visual inspection and inconsistency correction of genome-scale metabolic reconstructions
BMC Bioinformaticsvolume 20, Article number: 56 (2019)
Genome-scale metabolic network reconstructions are low level chemical representations of biological organisms. These models allow the system-level investigation of metabolic phenotypes using a variety of computational approaches. The link between a metabolic network model and an organisms’ higher-level behaviour is usually found using a constraint-based analysis approach, such as FBA (Flux Balance Analysis). However, the process of model reconstruction rarely proceeds without error. Often, considerable parts of a model cannot carry flux under any condition. This is termed model inconsistency and is caused by faulty topology and/or stoichiometry of the underlying reconstructed network. While there exist several automated gap-filling tools that may solve some of the inconsistencies, much of the work still needs to be carried out manually. The common “linear list” format of writing biochemical reactions makes it difficult to intuit what is at the root of the inconsistent behaviour. Unfortunately, we have frequently observed that model builders do not correct their models past the abilities of automated tools, leaving many widely used models significantly inconsistent.
We have developed the software ModelExplorer, which main purpose is to fill this gap by providing an intuitive and visual framework that allows the user to explore and correct inconsistencies in genome-scale metabolic models. The software will automatically visualize metabolic networks as graphs with distinct separation and delineation of cellular compartments. ModelExplorer highlights reactions and species that are unable to carry flux (blocked), with several different consistency checking modes available. Our software also allows the automatic identification of neighbours and production pathways of any species or reaction. Additionally, the user may focus on any chosen inconsistent part of the model on its own. This facilitates a rapid and visual identification of reactions and species responsible for model inconsistencies. Finally, ModelExplorer lets the user freely edit, add or delete model elements, allowing straight-forward correction of discovered issues.
Overall, ModelExplorer is currently the fastest real-time metabolic network visualization program available. It implements several consistency checking algorithms, which in combination with its set of tracking tools, gives an efficient and systematic model-correction process.
Genome-scale metabolic reconstructions have become a standard approach for the computational investigation of living organisms’ phenotypes , bridging the gap between experimental knowledge of components, such as which enzyme catalyzes which reaction, and high-level organismal behaviour (e.g. growth rate). In their simplest representation, genome-scale metabolic reconstructions only consist of chemical and transport reactions with corresponding reactants and products distributed into different compartments of an organism [2, 3].
In order to predict the growth rate of an organism from a genome-scale metabolic reconstruction, one usually applies a constraint-based modeling method such as Flux Balance Analysis (FBA). The FBA approach is based on a steady-state approximation of cellular growth. In FBA, an empirically acquired biomass function is optimized while the metabolic reconstructed network is subject to constraints on nutrient uptake reactions. Additional information may be included in the model either to further constrain it, as exemplified by the MOMENT method , or to expand its descriptive ability by, for instance, adding genetic regulation and protein expression explicitly as in ME models . While such approaches complicate the treatment of metabolic models even further, there still does not exist a reliable automatic, or even close to automatic, workflow to create the basal metabolic reconstruction.
The draft of a high-quality genome-scale metabolic reconstruction is often created with automated tools, such as the SEED , or the RAVEN  toolboxes, that adhere to many of the proposed steps for generating a reconstruction . The starting point of this procedure is commonly the annotation of an organism’s genome, which is used to elucidate what enzymes are produced and which reactions the metabolism of an organism is capable of performing. A first benchmark test of a draft reconstruction, is the assessment of its ability to produce biomass (grow) given a certain medium composition. Sometimes the metabolic reconstruction, however, is incapable of producing all the constituents of the biomass reaction on the given medium, or even on any media. Additionally, even when a draft or a published reconstructed network is capable of producing all the constituents of the biomass reaction, it is still the rule rather than the exception that the network contains reactions which are blocked in FBA simulations under any input conditions. Apart from being useless in terms of modelling, if corrected and made active, such reactions could increase the model realism and quite possibly affect phenotype predictions, such as gene essentiality, by providing alternative pathways. These generally blocked reactions result from topological and stoichiometric issues intrinsic to the model itself. Therefore their presence is termed model inconsistency, and the search for such reactions is called consistency checking.
The first-line tools in identifying and fixing the cause or causes for model inconsistencies are automatic gap-filling algorithms. These can either address all blocked reactions at once  or first divide them into groups called Unconnected Components, addressing each group one by one to reduce complexity . Unfortunately, these tools usually cannot solve all the inconsistencies. Take as an example the Gapfind/Gapfill approach of Kumar et al. : They find that up to 40% of the blocked fluxes in the E. coli model they were addressing could not be fixed using their algorithms, while for S. cerevisiae this number was 58%. This is a significant issue that must be fully acknowledged and appreciated. Existing tools are quite simply not enough. The problem is further complicated by the fact that model building and gap-filling tools may use the same metabolic reaction repositories, rendering gap-filling useless.
When automatic tools fail, it is currently necessary to manually identify the cause, or often multiple causes, for the deficits. This is a tedious process, complicated by the linear list format of metabolic models. While it is quite straightforward to identify lists of blocked reactions, using e.g. existing functions in the COBRA toolbox  or in COBRApy  framework, it is often quite challenging to identify what the inconsistencies are caused by. Usually we are talking about a small set of reactions being at the root of the problem. We have for instance observed cases when a single faulty transport reaction caused a stoichiometric lock, that effectively incapacitated a whole compartment.
The main purpose of ModelExplorer is to aid the user in correcting inconsistencies that cannot be addressed with automatic algorithms. The software provides a visual interface and multiple analysis modes to facilitate the identification of blocked reactions and in searching for and correcting the source of their inactivity. Based on our hands-on experience with manual curation of more than 10 genome-scale metabolic models, we have found that when significant parts of the metabolic network are shown to be inconsistent (for some reason, being blocked), the inconsistency can often be corrected by adding or modifying one, or very few (thus key) reactions in the network. Similarly, we identified the need for a visual workflow for model curation in order to speed up the process of fixing the large number of reactions that are not automatically corrected by current software. With ModelExplorer, the user can get an intuitive overview over every blocked part of the model, allowing the user to identify and fix key reactions which need to be corrected without leaving the software, as well as quickly identifying related, broken parts of the metabolic network.
ModelExplorer has been developed as a stand-alone graphical application under Linux Additional file 1 and Windows Additional file 2 and is fully written in C ++ for speed and ease of interaction with the COIN-OR Clp linear programming library , which is used for model consistency checking. The software uses cgraph (the C library behind Graphviz) for making metabolic network layouts, and the Allegro 5.2 gaming library for graphics. To achieve smooth graphical output also for larger networks, it uses GPU-accelerated anti-aliasing. GPU acceleration also positively affects the frame rate when moving the network in the display panel. This does not mean that the software requires a dedicated graphics card, as all modern processors possess a graphics unit. In the Windows OS, graphics drivers are usually provided out of the box. When using Linux, it is recommended to use a standalone installation of Linux (preferably Ubuntu 16.04 to 18.04) with appropriate graphics drivers enabled in order to ensure that the ModelExplorer graphics are rendered fast and smoothly. Virtual machines often do not provide direct access to the GPU. The software will take a reconstructed metabolic network in the sbml format [14, 15] as a file input.
Results and discussion
ModelExplorer allows the visualization of a metabolic reconstructed networks as bipartite graphs: Metabolites and reactions are represented by nodes, and links (shown as arrows) only connect metabolites to reactions and vice versa. The arrows may be unidirectional or bidirectional, depending on the encoded reaction reversibility in the metabolic reconstruction. Metabolites and reactions are automatically grouped by their compartment, as specified in the reconstruction. The compartment grouping is visualized and may be highlighted.
The network layout is calculated using a force-directed algorithm, as we found this to give the most aesthetically pleasing results. In the Network View (Fig. 1, mark (1)) the user may zoom, pan, select and hover the cursor over nodes in the network in order to explore or make changes. In ModelExplorer, the user is provided with a set of options for network visualization, exploration and editing. These options may be accessed through function menus in the Command Panel (Fig. 1, mark (2)).
Some of the tools in ModelExplorer can also output information to the Text Panel (Fig. 1 mark (3)).
Finding blocked reactions
The core of the ModelExplorer functionality is the identification of blocked reactions and metabolites that cannot be produced by a reconstructed metabolic network. This is called consistency checking. ModelExplorer provides the user with three different methods for doing this, named FBA, Bi-directional and Dynamic mode. The FBA and Bi-directional methods have previously been published in different implementations [16, 17].
In the FBA mode, a reaction is declared (and marked) blocked if it is unable to carry a (FBA) steady state flux. A metabolite is shown as blocked if all reactions that can generate it are blocked. In order to reduce the time it takes to perform consistency checking in FBA mode, we have developed a radically improved version of the FastCC algorithm , which we call ExtraFastCC. It uses 40-80 times fewer optimization rounds than its predecessor. Detailed speed and complexity comparisons of our algorithm against FastCC can be found in the “Comparison with other software” section.
The FBA mode is useful to identify which parts of a model may be removed without affecting the results of any FBA simulation. Restoring the consistency of these reactions may improve the model’s resilience against knock-outs. Using this mode we consistency-checked 13 models from the OpenCOBRA model repository used by Ebrahim et al.  (iMM1415, iAF1260, iCac802, iAN840m, iMM904, iBsu1103, iND750, iMO1056, iJN746, iJR904, iNJ661, iFF708 and iRsp1095) and found 28% of all reactions to be blocked on average, with a standard deviation of 11%. This highlights that blocked reactions as a significant problem for most metabolic reconstructions.
In the bi-directional mode, we initiate the analysis by setting all reactions to be reversible. This step is followed by running the same algorithm as used for the FBA mode. The main purpose of the bi-directional mode is not as an alternative to the FBA-mode, instead to provide the user with a quick way to check if the inactivity of a certain part of the model is caused by an over-constrained or misdirected reaction. In addition to help identifying obvious errors, comparing the two modes can address a deeper dilemma: It is not always trivial to establish the reversibility of a reaction, as it is influenced by the relative concentrations of the participating chemical species. Concentrations may change depending on the abundance of available nutrients, altering reaction reversibility.
Finally, in the dynamic mode, a species is declared (and marked) blocked if it will block the biomass (growth) reaction when added to the list of its reactants. A reaction is then determined to be blocked if any of its reactants are blocked. The dynamic mode is useful in the process of assessing the fidelity of a draft reconstruction, since it allows us to identify which existing metabolites may potentially be part of the biomass reaction without blocking it. It is the only mode that will show valid results when the user has not yet added a biomass function or any export reactions to the model, as the dynamic mode can solely rely on imports. This mode also adds a higher level of realism compared to the FBA mode, since it shows if the reconstructed network can support a constant concentration of a metabolite during exponential growth. Unfortunately, this topic is usually overlooked as exponential growth cannot be directly addressed using the steady state approximation of FBA. The Dynamic mode is the fastest to compute among the three modes, and it always needs only one round of optimization. The details of the algorithm will be published elsewhere [Martyushenko, Almaas. In preparation].
If the user wants to know whether a specific reactions is blocked, ModelExplorer makes it is possible to directly look up reactions and metabolites by their name through the search function and highlights them on the network view (Fig. 2 panel a).
Exploring the network
When blocked reactions and metabolites are identified, the user is presented with four tracking tools for determining the source of error (accessed through the “Neighbour view” menu).
The first option, called “None,” does not highlight anything except the node itself. However, in this mode one may edit existing species, reactions and compartments by clicking on them. By using the Text Panel, it is possible to change their properties.
The second option, called “Ego-centric,” highlights the selected node’s direct neighbours and can be used for brute force exploration of blocked nodes. For instance, it makes it easy to distinguish reactants from products, as well as to asses which reactions produce and consume a metabolite.
The third option, called “Node ancestry,” is more intricate. Here, ModelExplorer will highlight the smallest subset of the network necessary to synthesize a species or activate a reaction in question, given that a non-cyclic solution exists. One such path is highlighted by ModelExplorer in Fig. 2 panel b. If the path is cyclic, the “Node ancestry” mode will instead highlight the cycle, defined as the strongly connected component.
The fourth option is called “Blocked Module” and highlights unconnected modules, as described by Ponce-de-Leon et al. . Each module is an unconnected (to other modules) group of blocked species and reactions, which can be addressed independently of other groups. This tool shows an output only when hovering over blocked items, highlighting the same module when hovering over any of its members. The “Blocked Module” tracking tool is special, because the user can choose to view the module separately from the rest of the network. This is done through the View menu. The layout algorithm is then run only on the blocked module, and the module is plotted on its own. This makes it much easier to visually identify the source of the inconsistency, as crowding in the visual display of the network is very much reduced. Model editing and tracking can be done on the module in the same way as on the whole model, with all changes being applied to the model itself.
Editing the network
ModelExplorer allows the user to interactively edit, add and delete any species, reaction or compartment in the model. It can even be used to build models from scratch by hand. Editing can be performed on any object with the “None” tracking tool option activated, by right-clicking the object and then altering its properties in the Text Panel. Adding and deleting objects is done through the “Add” and “Purge” menus. In addition to deleting objects one by one, ModelExplorer provides the user with several en masse node purging functions. These tools may be useful if, for instance, a reconstructed network has boundary (or extracellular) metabolites instead of import reactions. In that case, ModelExplorer can purge such species, allowing reactions consuming these metabolites to become import reactions.
We have observed many publicly available reconstructed networks to consist of multiple disconnected graphs, where all graphs, except the one containing the biomass, obviously are useless from a modelling perspective. If it would be of interest to remove these, ModelExplorer includes a function to purge disconnected clusters. This function can also be useful after a purge of boundary or extracellular metabolites that may leave behind rudimentary, disconnected reactions. The user also has the choice to only purge species and reactions which are unconnected to any other species or reaction, since we have observed some models to contain unused metabolites in the hundreds.
Comparison with other software
To our knowledge, there are at least five other packages that address the issue of visualization of metabolic networks: MetDraw , Escher , Gephi , Cytoscape  with the cy3sbml  plugin, and MetExploreViz . None of these tools can perform or visualize consistency checking, edit the underlying model or track neighbours, ancestry or unconnected modules.
MetDraw is also based on Graphviz. However, it does not provide an interactive network view since it will only output still images. Escher and MetExploreViz, are interactive web-applications centered around pathway visualization. These tools draw networks disentangled into pathways, for which human input is necessary since the way one divides a network into pathways is strictly subjective. This approach means that side-metabolites appear plotted multiple times, which could complicate deciphering inconsistencies and tracking ancestry, if such options were to be implemented.
Cytoscape and Gephi on the other hand, are generalist network visualization tools. Cytoscape can use the cy3sbml plugin to import, layout and view SBML files, while Gephi accepts only standard graph formats such as “dot”, requiring a prior conversion from SBML into one of these formats. Both of the tools can make layouts similar to that of ModelExplorer, but lack any other functionality, as mentioned above.
This highlights a principal difference between comparable existing software and ModelExplorer: Escher, MetExploreViz, Cytoscape and Gephi are mainly designed for network visualization of finished models, whereas ModelExplorer is designed for consistency checking and correction of metabolic models at any stage of construction and refinement. This, however, does not mean that ModelExplorer is inferior at visualization. It is in fact the opposite in terms of speed. Visualization speed can be measured in terms of the frame rate, which is the number of times the image could change per second. A low frame rate slows down the navigation around the network and can be very annoying to the user. In order to conduct a reasonable a side-by-side comparison of these very different visualization tools (except MetDraw, which makes still images and thus does not have a frame rate), we tested the frame rates when visualizing the iTO977 model using a DELL laptop with an Intel Core i5-5300U CPU (see Table 1). The comparisons revealed that ModelExplorer is approximately 10.7 times faster than Cytoscape, 9.3 times faster than GePhi (given similar visualization settings), 8.4 times faster than MetExploreViz and 2.8 times faster than Escher. It is important to note that Escher was tested with a model that was about 7 times smaller than iTO977. The reason was that the Escher documentation did not recommend launching bigger models for reasons of speed, and we therefore used the largest model provided on the Escher website.
Another field in which ModelExplorer has is a significant advance is the consistency checking algorithm we developed. Our algorithm called “ExtraFastCC” is based on the “FastCC” algorithm of Ponce-de-Leon et al. , but has a significantly improved ability to check the consistency of dead reversible reactions. The FastCC algorithm is used in consistency checking tools, such as PSAMM . Tools, such as MC3 , have based their consistency checking on flux variability analysis (FVA)  of every reaction, which is a much slower approach. When tested against FastCC, our algorithm performs 36-80 times better in terms of the number of linear optimization problems that needs to solve, and 3-15 times better in terms of CPU time. The FastCC algorithm needs to test nearly all of the dead reversible reactions in both directions, which can be seen from the numbers in Table 2. Note that, ModelExplorer uses the relatively slow open-source optimizer Clp, while we have used FastCC from the COBRA toolbox together with state-of-the-art commercial optimizer Gurobi . While our algorithm still has better computing times, the difference would be radically larger if Clp was not so slow. As this paper is focused on the visualization tool ModelExplorer, we leave the precise details of the algorithm to another paper.
The number and complexity of genome-scale metabolic reconstructions continues to grow. For microbial reconstructed M-models, the number of reactions is in the low thousands, while microbial community reconstructions consist of tens to hundreds of thousand reactions. ModelExplorer provides the user with the ability to evaluate model quality and aids in correcting inconsistencies in models provided in the common SBML format. The visual nature of the software’s different functions makes it intuitive and easy to use, while its reliance on low level routines makes it faster than existing metabolic model visualization software.
Availability and requirements
Project name: ModelExplorer v1.0.
Project home page: https://www.ntnu.edu/almaaslab/downloads.
Operating systems: Windows 8.1 and 10, Linux - Ubuntu 16.04 LTS, 17.04, 17.10, 18.04 LTS and Manjaro 17.1.1.
Programming language: C++
Other requirements: None.
License: Creative Commons Attribution-NonCommercial 4.0 International Licence
Any restrictions to use by non-academics: license needed for commercial use.
Flux balance analysis
Bordbar A, Monk JM, King ZA, Palsson BO. Constraint-based models predict metabolic and associated cellular functions. Nat Rev Genet. 2014; 15(2):107–20.
Kauffman KJ, Prakash P, Edwards JS. Advances in flux balance analysis. Curr Opin Biotechnol. 2003; 14(5):491–6.
Zomorrodi AR, Suthers PF, Ranganathan S, Maranas CD. Mathematical optimization applications in metabolic networks. Metab Eng. 2012; 14(6):672–86.
Adadi R, Volkmer B, Milo R, Heinemann M, Shlomi T. Prediction of microbial growth rate versus biomass yield by a metabolic network with kinetic parameters. PLoS Comput Biol. 2012; 8(7):1002575.
O’Brien EJ, Lerman JA, Chang R, Hyduke DR, Palsson BO. Genome-scale models of metabolism and gene expression extend and refine growth phenotype prediction. Mol Syst Biol. 2013; 9(693):10–1038201352.
DeJongh M, Formsma K, Boillot P, Gould J, Rycenga M, Best A. Toward the automated generation of genome-scale metabolic networks in the seed. BMC Bioinformatics. 2007; 8(139):10–1186147121058139.
Agren R, Liu L, Shoaie S, Vongsangnak W, Nookaew I, Nielsen J. The raven toolbox and its use for generating a genome-scale metabolic model for penicillium chrysogenum. PLoS Comp Biol. 2013; 9(3):1002980.
Thiele I, Palsson BO. A protocol for generating a high-quality genome-scale metabolic reconstruction. Nat Protoc. 2010; 5(1):93–121.
Kumar VS, Dasika MS, Maranas CD. Optimization based automated curation of metabolic reconstructions. BMC Bioinformatics. 2007; 8:212.
Ponce-de-Leon M, Montero M, Pereto J. Solving gap metabolites and blocked reactions in genome-scale models: application to the metabolic network of blattabacterium cuenoti. BMC Syst Biol. 2013; 7:114.
Schellenberger J, Que R, Fleming RMT, Thiele I, Orth JD, Feist AM, Zielinski DC, Bordbar A, Lewis NE, Rahmanian S, Kang J, Hyduke DR, Palsson BO. Quantitative prediction of cellular metabolism with constraint-based models: the cobra toolbox v2.0. Nat Protoc. 2011; 6(9):1290–307.
Ebrahim A, Lerman JA, Palsson BO, Hyduke DR. Cobrapy: Constraints-based reconstruction and analysis for python. BMC Syst Biol. 2013; 7(1):74.
Lougee-Heimer R. The common optimization interface for operations research: Promoting open-source software in the operations research community. IBM J Res Dev. 2003; 47(1):57–66.
Hucka M, Finney A, Sauro HM, Bolouri H, Doyle JC, Kitano H, Arkin AP, Bornstein BJ, Bray D, Cornish-Bowden A, et al.The systems biology markup language (sbml): a medium for representation and exchange of biochemical network models. Bioinformatics. 2003; 19(4):524–31.
Finney A, Hucka M. Systems biology markup language: Level 2 and beyond. Biochem Soc Trans. 2003; 31(Pt 6):1472–3.
Gudmundsson S, Thiele I. Computationally efficient flux variability analysis. BMC Bioinformatics. 2010; 11(1):489.
Vlassis N, Pires Pacheco M, Sauter T. Fast reconstruction of compact context-specific metabolic network models. PLoS Comp Biol. 2014; 10(1):1003424.
Ebrahim A, Almaas E, Bauer E, Bordbar A, Burgard AP, Chang RL, Dräger A, Famili I, Feist AM, Fleming RM, Fong SS, Hatzimanikatis V, Herrgård MJ, Holder A, Hucka M, Hyduke D, Jamshidi N, Lee SY, Le Novère N, Lerman JA, Lewis NE, Ma D, Mahadevan R, Maranas C, Nagarajan H, Navid A, Nielsen J, Nielsen LK, Nogales J, Noronha A, Pal C, Palsson BO, Papin JA, Patil KR, Price ND, Reed JL, Saunders M, Senger RS, Sonnenschein N, Sun Y, Thiele I. Do genome-scale models need exact solvers or clearer standards?Mol Syst Biol. 2015; 11(10):10–1525220156157.
Jensen PA, Papin JA. Metdraw: automated visualization of genome-scale metabolic network reconstructions and high-throughput data. Bioinformatics. 2014; 30(9):1327–8.
King ZA, Dräger A, Ebrahim A, Sonnenschein N, Lewis NE, Palsson BO. Escher: a web application for building, sharing, and embedding data-rich visualizations of biological pathways. PLoS Comp Biol. 2015; 11(8):10–1371100432.
Bastian M, Heymann S, Jacomy M. Gephi: An open source software for exploring and manipulating networks. 2009. International AAAI Conference on Weblogs and Social Media. http://www.aaai.org/ocs/index.php/ICWSM/09/paper/view/154.
Shannon P, Markiel A, Ozier O, Baliga NS, Wang JT, Ramage D, Amin N, Schwikowski B, Ideker T. Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Res. 2003; 13(11):2498–504.
König M, Dräger A, Holzhütter H. Cysbml: a cytoscape plugin for sbml. Bioinformatics. 2012; 28(18):2402–3.
Chazalviel M, Frainay C, Poupin N, Vinson F, Merlet B, Gloaguen Y, Cottret L, Jourdan F. Metexploreviz: web component for interactive metabolic network visualization. Bioinformatics. 2017; 34(2):312–3.
Dufault-Thompson K, Steffensen JL, Zhang Y. Using psamm for the curation and analysis of genome-scale metabolic models. Methods Mol Biol. 2018; 1716:131–50.
Yousofshahi M, Ullah E, Stern R, Hassoun S. Mc3: a steady-state model and constraint consistency checker for biochemical networks. BMC Syst Biol. 2013; 7:129.
Gurobi Optimizer Reference Manual. http://www.gurobi.com. Accessed 1 Aug 2018.
The authors would especially like to thank C. Schulz for feedback and testing of the software.
MN and EA would like to thank The Research Council of Norway (RCN) grant 245160 (ERASysAPP: WineSys) for funding. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.
Availability of data and materials
The ModelExplorer, is freely accessible and can be downloaded without user registration at https://www.ntnu.edu/almaaslab/downloads.
Ethics approval and consent to participate
Consent for publication
The authors declare that they have no competing interests.
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
∙ModelExplorer - Linux binary file (ModelExplorer v1.0 executable)
∙modelEpxlorerLibs and extraLibs - Folders with libraries (COIN-OR Clp and Graphviz)
∙install.sh - a Linux installation script
∙arial.ttf - Font file
∙test.xml - Test model (iTO977)
∙ModelExplorer_User_Manual.pdf - User manual that contains information about software installation procedures, usage and licence.
∙LICENSE.txt - A license notice. (ZIP 13,984 kb)
∙ModelExplorer - Windows binary file (ModelExplorer v1.0 executable)
∙ A set of library files - (COIN-OR Clp and Graphviz)
∙arial.ttf - Font file
∙test.xml - Test model (iTO977)
∙ModelExplorer_User_Manual.pdf - User manual that contains information about software installation procedures, usage and licence.
∙LICENSE.txt - A license notice. (ZIP 4801 kb)