LPBackend adapter: drives an external SoPlex binary through a JSON stdio protocol. Priority 50 for the by lp tactic registry. - View it on GitHub