Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
half-reif-benchmarks Pipfile
220 B · 12 lines
at develop
12345678910111213[[source]]url = "https://pypi.org/simple"verify_ssl = truename = "pypi"[packages]mzn-bench = {git = "https://github.com/MiniZinc/mzn-bench", extras = ["scripts"]}[dev-packages][requires]python_version = "3.9"