panda2lrs: user-friendly polytope representation in lrs
An user-friendly way to write *PANDA*-like polytope inequalities and run in *lrs*.
•
4 min read
Read more