Robert Schwarz

Segmentation fault when adding lazy constaints to CBC

2

**Describe the bug** I create a small MIP model, using CBC. I also create a `ConstrsGenerator` and add it via `model.lazy_constrs_generator`. When I call `model.optimize()`, Python crashes with a segmentation...

Properly expose SCIP error codes to users.

6

This applies to the rewrite (after #76 is merged). Currently, the simple `@SC` macro is used everywhere, where on would use `SCIP_CALL` in C. It only does an `@assert` to...

Use `JuMP.@build_constraint` to add a constraint from an `enfo` callback.

Proper ccalls with variadic arguments.

8

We need to call `SCIPexprCreate` which has variadic arguments. This is supported by Julia's ccall, but only for [variadic arguments of the same type](https://docs.julialang.org/en/v1/manual/calling-c-and-fortran-code). This was already discussed in #100...

Expose callbacks for various SCIP plugin types.

9

Since SCIP support for plugins (callbacks) is more general that what is available in other MIP solvers, it makes sense to offer a thin layer around the SCIP style of...

Full description of payload schema etc.

2

I just played with your sphinx extension (thanks!) and saw that the generated documentation covers only part of the OpenAPI specification. This can already be seen with the BatComputer example...

Some results (solution, runtime etc.) are reset after freeTransform is called. With #24 we do that implicitely, whenever necessary. We should at least warn the users about this behavior in...

Parsing of Gurobi's primal bounds history incomplete/inaccurate

8

I'm using `ipet` to extract the primal bound history from a Gurobi logfile, but only the first solution is stored, not the last found (improving) solution. Here's an extract from...

Support HiGHS solver

1

HiGHS currently doesn't have an implementation of `Solver` in `ipet.parsing.Solver`.