Pipfile at develop · dekker.one/half-reif-benchmarks

The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper

half-reif-benchmarks / Pipfile

at develop 12 lines 220 B view raw

wrap content

 1[[source]]
 2url = "https://pypi.org/simple"
 3verify_ssl = true
 4name = "pypi"
 5
 6[packages]
 7mzn-bench = {git = "https://github.com/MiniZinc/mzn-bench", extras = ["scripts"]}
 8
 9[dev-packages]
10
11[requires]
12python_version = "3.9"