Closed maurerle closed 5 months ago
I saw that the latest readthedocs build failed due to missing glpk headers. As glpk is only used for the execution and not for anything in the docs - it is not needed. https://readthedocs.org/projects/assume/builds/
I saw that the latest readthedocs build failed due to missing glpk headers. As glpk is only used for the execution and not for anything in the docs - it is not needed. https://readthedocs.org/projects/assume/builds/