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.

    SoplexFFIad55436

  2. Git dependency.
    Not found on Reservoir.

    LPTacticca3b958

  3. Git dependency.
    Not found on Reservoir.

    LPCoref5a81cf