LGEM⁺: a first-order logic framework for automated improvement of metabolic network models

This repository is code for LGEM⁺. To run the experiments, build the Docker image, run the container and run the experiments from the working directory.

More detailed documentation coming soon.