Skip to content

Pull requests: MiniZinc/mzn-bench

New pull request New
Clear current search query, filters, and sorts
3 Open 38 Closed
3 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Combine minizinc-slurm-tools into this repo
#3 by cyderize was merged Feb 2, 2021 Loading…
Add wait functionality to SLURM and improve package naming
#4 by Dekker1 was merged Feb 3, 2021 Loading…
Fix missing palette arg
#6 by hbierlee was merged Feb 20, 2021 Loading…
Shrink the size of environment entries
#11 by Dekker1 was merged Feb 28, 2021 Loading…
Fix the count of files for the collect-objectives command
#12 by Dekker1 was merged Mar 18, 2021 Loading…
Allow user to specify time stat to average using --avg time/solveTime/flatTime
#14 by hbierlee was closed May 5, 2021 Loading…
Feature/add support for given time stat (time/flatTime/solveTime) for --avg flag
#15 by hbierlee was merged May 6, 2021 Loading…
2
Fix minizinc python code to match upstream changes
#20 by Dekker1 was merged Nov 21, 2022 Loading…
Fix pytest deprecation warnings
#21 by hbierlee was merged Jul 4, 2023 Loading…
Fix typing in compare changes
#22 by hbierlee was closed Jul 18, 2023 Loading…
Fix two type errors due to use of str i/o Path/Timedelta
#23 by hbierlee was closed Jul 18, 2023 Loading…
Fix comparing satisfaction results which lack objective
#24 by hbierlee was closed Jul 18, 2023 Loading…
Skip unknown statuses
#25 by hbierlee was closed Jul 18, 2023 Loading…
Fix ruaml constructor error
#26 by hbierlee was closed Jul 18, 2023 Loading…
Add testing, local runner and include other merge requests
#27 by hbierlee was closed Jul 18, 2023 Loading…
1 task done
1
Fix plotting feature, and test it (if available)
#30 by hbierlee was merged Jul 24, 2023 Loading…
1
Bump pillow from 10.0.0 to 10.0.1 dependencies Pull requests that update a dependency file
#32 by dependabot bot was merged Oct 3, 2023 Loading…
Bump tornado from 6.3.2 to 6.3.3 dependencies Pull requests that update a dependency file
#33 by dependabot bot was merged Oct 4, 2023 Loading…
Feature/add checker timeout arg to pytest
#35 by hbierlee was merged Oct 5, 2023 Loading…
Prevent unassigned variable in case of MiniZincError
#36 by hbierlee was merged Oct 16, 2023 Loading…
Replace --per-* flags for --grouping flags
#37 by hbierlee was closed Oct 18, 2023 Loading…
Fix/make pytest non dev dependency
#38 by hbierlee was closed Oct 18, 2023 Loading…
Change the packaging to use uv
#48 by Dekker1 was merged Dec 9, 2024 Loading…
Feature/add improvements for sat interface
#1 by hbierlee was closed Jul 20, 2020 Loading…
1
Fix (de)serialization of minizinc executable in config
#2 by cyderize was merged Aug 7, 2020 Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.