CInet::Alien::SoPlex - The LP solver SoPlex
use IPC::Run3;
use CInet::Alien::SoPlex qw(soplex);
# Compute exact rational solution to linear program
run3 [soplex, '-f0', '-o0', '-l0', '-X', $lp_file], \undef, \my $out;This document describes CInet::Alien::SoPlex v1.0.2.
This module builds a statically linked soplex executable. SoPlex is a solver for linear programming (LP) problems which is able to return exact rational solutions to rational LPs. Therefore it can in particular be used to certify whether or not a polyhedron defined by rational inequalities is empty, either by giving a rational point inside or a rational Farkas certificate.
The package CInet::Alien::SoPlex is an Alien::Base with one additional method:
my $program = CInet::Alien::SoPlex->exe;Returns the absolute path of the soplex executable bundled with this module.
There is one optional export:
use CInet::Alien::SoPlex qw(soplex);
my $program = soplex;Returns the same path as exe but is shorter to type.
The SoPlex website is https://soplex.zib.de/index.php. SoPlex is part of the SCIP optimization suite developed at Zuse Institute Berlin. See the article The SCIP Optimization suite and cite it if your work relies on it.
If you use SoPlex as an exact rational LP solver, you should cite in addition Improving the Accuracy of Linear Programming Solvers with Iterative Refinement and Iterative Refinement for Linear Programming.
Tobias Boege <[email protected]>
This software is copyright (C) 2023 by Tobias Boege.
This is free software; you can redistribute it and/or modify it under the terms of the Artistic License 2.0.
This software distribution contains a source code archive of SoPlex v7.1.1, which is Copyright (C) 2002-2024 Zuse Institute Berlin. It is released under the Apache 2.0 license.