flix/buwb

Issues

• Add support for for constants, signatures, sets

  #6 opened 2 years ago by mlutze
  0

• Option to show steps of SVE

  #5 opened 2 years ago by mlutze
  0

• Variable name ordering affects resulting MGU 'complexity'

  #1 opened 2 years ago by robertkleffner
  5