add the 'HiGHS' solver for linear programs

[silky]

Description of changes

Adds the HiGHS solver! :)

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 24.05 Release Notes (or backporting 23.05 and 23.11 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

---

Add a 👍 reaction to pull requests you find important.

[ConnorBaker]

Nicely done!

Result of nixpkgs-review pr 295386 run on x86_64-linux 1

1 package built:

• highs

A few suggestions, things to introduce you to, or make you aware of in case you weren't:

1. Consider moving away from use of the rec keyword -- stdenv.mkDerivation accepts either an attribute set, a function to an attribute set (i.e. finalAttrs: {}) or a binary function to an attribute set (i.e. finalAttrs: prevAttrs: {}). This functionality was added specifically for this reason: stdenv.mkDerivation: overlay style overridable recursive attributes #119942. More on that discussion here: https://discourse.nixos.org/t/avoid-rec-expresions-in-nixpkgs/8293. In your case, I'd recommend using (finalAttrs: { ... }) instead of rec, and replacing rev = "v${version}"; with rev = "v${finalAttrs.version}";.
2. Consider setting strictDeps = true; to enforce better separation of build-time and run-time dependencies (not enforced by default). It can help reduce runtime closures and is generally a blessing when doing cross-compilation of packages. It's not super important here, but a cool thing to know about!
3. Consider quoting $out in installCheckPhase to avoid splitting on whitespace if someone has a funky NixOS store path.
4. Consider adding yourself as a maintainer, if you're willing :)

IMHO, none of these are blocking and they're all minor suggestions or things I wanted to introduce you to or make you aware of since this is your first contribution -- let me know if you're ready for merge and I'd be happy to make that happen!

[silky]

Thanks @ConnorBaker ! I've made all the changes you suggested :) Much appreciated!

Looking forward to getting this merged :)