Home » Categories

tools

panda2lrs: user-friendly polytope representation in lrs

An user-friendly way to write PANDA-like polytope inequalities and run in lrs.

October 4, 2020 · 5 min · 918 words · Carlos de Gois