minibrass

minibrass copied to clipboard

Bumps [sqlite-jdbc](https://github.com/xerial/sqlite-jdbc) from 3.8.11.2 to 3.41.2.2. Release notes Sourced from sqlite-jdbc's releases. Release 3.41.2.2 Changelog 🚀 Features jdbc add support for LocalDate, LocalTime, LocalDateTime in ResultSet#getObject (1d2ff63) implement PreparedStatement getParameterType...

dependabot[bot]

The top element `k` of PVS type `ProbCostFunctionNetwork` is never defined, which causes the following error when using it: `MiniZinc: type error: undefined identifier 'k'`. As the is-worse predicate states...

elKei24

MiniZinc models with very small or large floats cause the output of literals with exponent, like `3.784542847143949e-321`. This PR allows MiniBrass to parse such literals.

elKei24

I have models with very many decision variables and use output items to bring the solution MiniZinc finds in a human-readable format. MiniBrass so far only outputs the raw DZN...

elKei24

Like #26, but this time functioning 😆 When running the `MiniBrassRunner` with the parameter `--pareto`, it will not only output a single solution but all pareto-optimal solutions. The user of...

elKei24

The intermediate MiniZinc files created with the `--debug` flag are currently named like `filename_0.mzn`, `filename_0_1.mzn`, `filename_0_1_2.mzn` and so on. This PR changes the behavior to `filename_0.mzn`, `filename_1.mzn`, `filename_2.mzn` and so...

elKei24

I do not know if this is the intended behavior, but I found it confusing that the MiniBrass runner does not output any solutions if not run with the `--debug`...

elKei24

Handle Constraint Preferences as Max-CSP if no edges are supplied

Alexander-Schiendorfer

MiniBrass Parsing: better errormessage for constraint preferences

1

Inform the user if the graph doesnt start with "[|" etc.

Bumboclaat

https://github.com/isse-augsburg/minibrass/blob/master/source-code/java/src/isse/mbr/model/voting/ApprovalVoting.java

Alexander-Schiendorfer