Skip to content

Latest commit

 

History

History
34 lines (23 loc) · 1.05 KB

README.md

File metadata and controls

34 lines (23 loc) · 1.05 KB
Raw

A 2-variable linear min-max solver, © (2012) Carmi Grushko.

License: GPL v3.

Usage

  1. Edit Makefile to choose which external solvers you want. (e.g., EXTERNAL_SOLVER_LPSOLVE55).

  2. Make sure the LIBRARY_PATH environment variable points to the different solvers (CGAL, GMP, MOSEK, etc.)

  3. Compile built-in external solvers

    cd lp_solve_5.5/lpsolve55 sh ccc # or sh ccc.osx, and os on cd ../bfp/bfp_etaPFI/ sh ccc # or sh ccc.osx, and os on cd ../../../seidel-lp-solver/ gmake

  4. Call `gmake' in the source root.

  5. Call ./a.out. a. If you want a specific solver, say ./a.out <number of solver>. b. If you want to skip some problems, say ./a.out <number of solver> skip-list-file.txt. See seidel-skip-list.txt for the format.

  6. Have a look at settings.h.

Built-in solvers

The following external solvers are provided with the source code, and do not require any external dependencies.

  1. lpsolve55
  2. R. Seidel's LP solver

======

October 4, 2012