timbeurskens/rsbdd

Issues

• Fixpoints do not acknowledge constraints outside fix-point notation

  #42 opened 2 years ago by timbeurskens
  0

• Model checking

  #33 opened 2 years ago by timbeurskens
  2

• Variable ordering

  #39 opened 2 years ago by timbeurskens
  0

• Parse-errors

  #36 opened 3 years ago by timbeurskens
  0

• Hash optimization

  #34 opened 3 years ago by timbeurskens
  0

• Error on truth-table / true-vars

  #28 opened 3 years ago by timbeurskens
  0