Giters

coldfix / pystif

Polyhedral projection utility | specialized for the computation of Shannon type inequalities

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Extend `el_ineqs` to `makesys`

coldfix opened this issue · comments

commented
  • accept VARS_FILE as alternative to NUM_VARS
  • optional `--elemental-inequalities`` parameter
  • allow to add own inequalities
  • add a merge command