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

#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