https://github.com/leanprover/lp-backend-soplex-ffi
LPBackend adapter for kim-em/soplex-ffi. Priority 10 (FFI band). The native backend kim-em/soplex defaults to.
https://github.com/leanprover/lp-backend-soplex-ffi
Last synced: 13 days ago
JSON representation
LPBackend adapter for kim-em/soplex-ffi. Priority 10 (FFI band). The native backend kim-em/soplex defaults to.
- Host: GitHub
- URL: https://github.com/leanprover/lp-backend-soplex-ffi
- Owner: leanprover
- License: apache-2.0
- Created: 2026-05-21T08:32:43.000Z (27 days ago)
- Default Branch: main
- Last Pushed: 2026-06-04T04:54:40.000Z (13 days ago)
- Last Synced: 2026-06-04T06:22:41.099Z (13 days ago)
- Language: Lean
- Size: 33.2 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE