solver

Describe the new feature

Can we have support for the new, but promising HiGHS solver?

Additional info

Does this feature exist in another product or project? Please provide a link.

Julia language supports using HiGHS from within JuMP modelling language.

Thanks,
Sam

When debugging/working on instances, it's often useful to compare number of routes in solutions. Of course this info is only a jq '.routes | length' call away, but it would be nice to have it directly available as summary.routes. This would also be similar to how we report the unassigned tasks and their number in summary.

It would be nice if Choco were able to support MiniZinc output format.

isQuestion() || sentence.isQuest() occurs frequently all over the place
https://github.com/opennars/opennars/search?utf8=%E2%9C%93&q=isQuestion%28%29+%7C%7C+sentence.isQuest%28%29&type=

Hi! I am very new to Rust, so I apologize if this ends up being a naive question.

So, for my robot motion optimization application, I have created an objective function and gradient function in the required format using closures, but the closure types are FnMut’s rather than Fn’s. This leads to the compiler complaining since the OpEn library forces the objective and gradient functions to be F