Sample programs that use lrslib

Command | Description |
---|---|

lrs | Reverse search for vertex enumeration/convex hull problems |

lrs-2nash | compute all Nash equilibria in parallel for a 2-person game |

lrs-buffer | Remove duplicate lines |

lrs-float2rat | Convert floating point coefficients to rationals |

lrs-fourier | use Fourier Elimination to project to a lower dimension |

lrsnash | compute all Nash equilibria for a 2-person game |

lrs-rat2float | Convert rational coefficients to floating point |

lrs-redund | remove all redundant rows from a polytope |

lrs-setupnash | convert payoff matrices into nash input |

lrs-setupnash2 | convert payoff matrices into nash input |

plrs | Parallel reverse search for vertex enumeration/convex hull problems |