Change Log

v1.0.0 (Not yet released)

• Algorithms:

  • Sift variable reordering method (#1)

  • QSP using decision diagrams (#2)

  • QSP using functional dependencies (#4)

• I/O:

  • algorithm to extract Boolean functions from reconvergence-driven cuts. (#5)

• Others:

  • algorithm for exact_esop_cover_from_divisors. (#8)

  • algorithm for extracting SOP covers. (#6)