Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MiniZinc/mzn-bench issues and pull requests
#20 - Fix minizinc python code to match upstream changes
Pull Request -
State: closed - Opened by Dekker1 over 2 years ago
#19 - Document 'tabulate' requirement for 'report-status'
Issue -
State: closed - Opened by maartenflippo over 2 years ago
- 1 comment
#18 - Opinionated reformatting of report-status
Pull Request -
State: closed - Opened by Dekker1 over 3 years ago
- 1 comment
#17 - Ensure correct MiniZinc driver for Configuration deserialisation
Pull Request -
State: closed - Opened by Dekker1 over 3 years ago
- 2 comments
#16 - Use configuration's driver to instantiate Solver
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
- 6 comments
#15 - Feature/add support for given time stat (time/flatTime/solveTime) for --avg flag
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
#14 - Allow user to specify time stat to average using `--avg time/solveTime/flatTime`
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
#13 - Add command to compare configurations
Pull Request -
State: closed - Opened by Dekker1 over 3 years ago
- 5 comments
#12 - Fix the count of files for the collect-objectives command
Pull Request -
State: closed - Opened by Dekker1 over 3 years ago
#11 - Shrink the size of environment entries
Pull Request -
State: closed - Opened by Dekker1 over 3 years ago
#10 - Suggestion to collect absolute paths
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
- 2 comments
#9 - Skip checks on ERROR statuses
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
- 1 comment
#8 - Handle missing time stat (for ERROR statuses)
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
- 2 comments
#7 - Show only feasible results in plots
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
- 5 comments
#6 - Fix missing palette arg
Pull Request -
State: closed - Opened by hbierlee over 3 years ago
#5 - Enable MiniZinc Python when setting debug parameter
Pull Request -
State: closed - Opened by Dekker1 over 3 years ago
- 3 comments
#4 - Add wait functionality to SLURM and improve package naming
Pull Request -
State: closed - Opened by Dekker1 over 3 years ago
#3 - Combine minizinc-slurm-tools into this repo
Pull Request -
State: closed - Opened by cyderize over 3 years ago
#2 - Fix (de)serialization of minizinc executable in config
Pull Request -
State: closed - Opened by cyderize about 4 years ago
- 1 comment
#1 - Feature/add improvements for sat interface
Pull Request -
State: closed - Opened by hbierlee about 4 years ago
- 1 comment