leanproverLPBackendSoplexFFI

LPBackend adapter for kim-em/soplex-ffi. Priority 10 (FFI band). The native backend kim-em/soplex defaults to.
Sort by
  1. Git dependency.
    Not found on Reservoir.

    SoplexFFIbe185e2

  2. Git dependency.
    Not found on Reservoir.

    LPTactic0b0ca0c

  3. Git dependency.
    Not found on Reservoir.

    LPCore96d003f