Siddharth Krishna

TypeError when applying nix environment in Remote SSH

3

**Describe the bug** I am using this extension from VS Code on my macbook, and using the Remote SSH extension to open a workspace on a remote Ubuntu server. The...

Managed identity authentication during local development

2

I'm able to use the Python preview to access my SQL DB using Managed Identity authentication on a deployed function app, following the code samples in this repository (thank you!)....

HLS often cannot find a `.hi.core` file in `~/.cache/ghcide/`

5

### Your environment **Which OS do you use?** MacOS 11.7.10 and 14 **Which version of GHC do you use and how did you install it?** 9.2.8 via ghcup (0.1.22.0) **How...

HiGHS reports infeasible for LP models that Gurobi solve successfully

5

HiGHS v1.10.0 reports that the following two LP models are infeasible, but Gurobi v12.0.0 is able to solve them successfully: https://storage.googleapis.com/solver-benchmarks/TIMES-GEO_E4SMA_Base_scenariocplex.lp https://storage.googleapis.com/solver-benchmarks/TIMES-GEO_E4SMA_NetZero_scenariocplex.lp Output log: ``` LP TIMES-GEO-global-base-31-20ts has 6027253 rows;...

CBC ERROR: CoinLpIO::readLp on input that Gurobi solves sucessfully

1

The following model is solved successfully by Gurobi in ~15min but CBC returns an error: https://storage.googleapis.com/solver-benchmarks/genx-elec_trex_uc-15-24h.lp Output logs: (truncated) ``` Welcome to the CBC MILP Solver Version: 2.10.12 Build Date:...

I get a `free(): invalid pointer` error when running `cbc` on the command line for versions 2.10.5 and 2.10.8. I am aware that these are old versions and that this...

New CBC release upcoming?

2

Hello @jjhforrest and other maintainers, I am leading the Open Energy Benchmark project ([website](https://openenergybenchmark.org/), [repository](https://github.com/open-energy-transition/solver-benchmark)) and we are planning to run our updated benchmark set on the latest version of...