Pulse · MiniZinc/mzn-bench · GitHub

February 28, 2025 – March 7, 2025

Overview

2 Active pull requests

1 Active issue
- 2 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues

2 Pull requests merged by 2 people

update slurm commands to include partition configurations
#45 merged Mar 3, 2025
Rename any statistic named objective output by the solver
#49 merged Mar 3, 2025

1 Issue closed by 1 person

Missing final objective with OR-Tools CP-SAT solver
#47 closed Mar 3, 2025