{ version = "1.0", artifact_url = "https://zenodo.org/records/11636529/files/artifact-pap130.zip", type = "zip", doi = "10.5281/zenodo.11636529", conf_date = 2024, virtualization = "docker", buildfile_dir = ".", dockerfile_path = ".docker/Dockerfile", package_managers = [ "dpkg" ], misc_packages = [ { name = "gurobi10.0.1_linux64", url = "https://packages.gurobi.com/10.0/gurobi10.0.1_linux64.tar.gz" } ] }