issues
search
MiniZinc
/
mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
https://www.minizinc.org
5
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Missing final objective with OR-Tools CP-SAT solver
#47
AllenZzw
opened
9 hours ago
2
update compare_configurations to output csv
#46
AllenZzw
opened
3 months ago
0
update slurm commands to include partition configurations
#45
AllenZzw
opened
3 months ago
0
Feat/slurm partition
#44
AllenZzw
closed
3 months ago
1
fix arguments and list concatenation
#43
AllenZzw
closed
3 months ago
2
Back-end solver parameters
#42
ptal
closed
1 year ago
2
Benchmarking with FlatZinc files directly
#41
ptal
closed
1 year ago
2
Cannot serialize `range` object
#40
hbierlee
closed
1 year ago
1
Fix/time out argument
#39
hbierlee
closed
1 year ago
3
Fix/make pytest non dev dependency
#38
hbierlee
closed
1 year ago
0
Replace --per-* flags for --grouping flags
#37
hbierlee
closed
1 year ago
0
Prevent unassigned variable in case of MiniZincError
#36
hbierlee
closed
1 year ago
0
Feature/add checker timeout arg to pytest
#35
hbierlee
closed
1 year ago
0
Test plotting
#34
hbierlee
closed
1 year ago
1
Bump tornado from 6.3.2 to 6.3.3
#33
dependabot[bot]
closed
1 year ago
0
Bump pillow from 10.0.0 to 10.0.1
#32
dependabot[bot]
closed
1 year ago
0
mzn-bench check-solutions not working correctly?
#31
ptal
closed
1 year ago
5
Fix plotting feature, and test it (if available)
#30
hbierlee
closed
1 year ago
0
cannot import name 'Figure' from 'bokeh.plotting'
#29
ptal
closed
1 year ago
2
How to install [scripts] extra
#28
ptal
closed
1 year ago
3
Add testing, local runner and include other merge requests
#27
hbierlee
closed
1 year ago
0
Fix ruaml constructor error
#26
hbierlee
closed
1 year ago
0
Skip unknown statuses
#25
hbierlee
closed
1 year ago
0
Fix comparing satisfaction results which lack objective
#24
hbierlee
closed
1 year ago
0
Fix two type errors due to use of str i/o Path/Timedelta
#23
hbierlee
closed
1 year ago
0
Fix typing in compare changes
#22
hbierlee
closed
1 year ago
0
Fix pytest deprecation warnings
#21
hbierlee
closed
1 year ago
0
Fix minizinc python code to match upstream changes
#20
Dekker1
closed
2 years ago
0
Document 'tabulate' requirement for 'report-status'
#19
maartenflippo
closed
2 years ago
1
Opinionated reformatting of report-status
#18
Dekker1
closed
3 years ago
1
Ensure correct MiniZinc driver for Configuration deserialisation
#17
Dekker1
closed
3 years ago
2
Use configuration's driver to instantiate Solver
#16
hbierlee
closed
3 years ago
6
Feature/add support for given time stat (time/flatTime/solveTime) for --avg flag
#15
hbierlee
closed
3 years ago
0
Allow user to specify time stat to average using `--avg time/solveTime/flatTime`
#14
hbierlee
closed
3 years ago
0
Add command to compare configurations
#13
Dekker1
closed
3 years ago
5
Fix the count of files for the collect-objectives command
#12
Dekker1
closed
3 years ago
0
Shrink the size of environment entries
#11
Dekker1
closed
3 years ago
0
Suggestion to collect absolute paths
#10
hbierlee
closed
3 years ago
2
Skip checks on ERROR statuses
#9
hbierlee
closed
3 years ago
1
Handle missing time stat (for ERROR statuses)
#8
hbierlee
closed
3 years ago
2
Show only feasible results in plots
#7
hbierlee
closed
2 years ago
5
Fix missing palette arg
#6
hbierlee
closed
3 years ago
0
Enable MiniZinc Python when setting debug parameter
#5
Dekker1
closed
3 years ago
3
Add wait functionality to SLURM and improve package naming
#4
Dekker1
closed
3 years ago
0
Combine minizinc-slurm-tools into this repo
#3
cyderize
closed
3 years ago
0
Fix (de)serialization of minizinc executable in config
#2
cyderize
closed
4 years ago
1
Feature/add improvements for sat interface
#1
hbierlee
closed
4 years ago
1