sybila/biodivine-boolean-functions

Issues

• Formalize the notion of equivalence on functions vs. representations

  #4 opened 8 months ago by daemontus
  1

• Make TruthTable implement operator traits

  #22 opened 8 months ago by AurumTheEnd
  1

• Create point_to_subpoint helper method

  #25 opened 8 months ago by daemontus
  0

• Create a simplify methods for Expression, TruthTable...

  #23 opened 9 months ago by AurumTheEnd
  0

• Consider alternative `Expression` design

  #12 opened 9 months ago by daemontus
  1

• Collect all unknown variables when evaluating

  #11 opened 9 months ago by daemontus
  0

• Consider implementing operator traits for expression and other function types

  #16 opened 9 months ago by daemontus
  0

• Re-evaluate the `Evaluate` trait

  #10 opened 9 months ago by daemontus
  1

• PyEDA API summary

  #18 opened 9 months ago by AurumTheEnd
  0

• Add tests for the Python bindings

  #17 opened 9 months ago by daemontus
  0

• Consider adding a child iterator to `Expression`

  #14 opened 9 months ago by daemontus
  0

• Consider conversions for expression literals/constants.

  #13 opened 9 months ago by daemontus
  0

• Equivalence for errors

  #9 opened 10 months ago by daemontus
  0

• Expressions

  #1 opened a year ago by AurumTheEnd
  0

• Transformation to "group" and "de-group" higher arity operators

  #3 opened a year ago by daemontus
  0