closure

 

Subproject

S2

Categories

Model reduction

Overview

Helper tool for weeding the output of ASTRA. It is supposed to identify and remove such parts of the abstract result that can be excluded based on a linear program solving method.

Publications

---

Benchmarks

---

Download

---

Manual

---

Status

---