Issues

• Non-blind debugging of reference count problems.

  com-github-javabdd/com.github.javabdd#90 · Filter by author Alberth289346 opened on Jul 2, 2026
  12

• setSaturationCallback unnecessary computation

  com-github-javabdd/com.github.javabdd#89 · Filter by author AndreaPuffo opened on Mar 13, 2026

• UnsupportedOperationException in FindBestOrder.tryOrder

  com-github-javabdd/com.github.javabdd#74 · Filter by author dhendriks opened on Oct 13, 2024

• Reordering shows no effect.

  com-github-javabdd/com.github.javabdd#44 · Filter by author hoemich opened on Aug 25, 2023
  3

• The cache statistic swapCount is never recorded

  com-github-javabdd/com.github.javabdd#23 · Filter by author magoorden opened on Nov 24, 2021
  1

• Clean up todo's

  com-github-javabdd/com.github.javabdd#8 · Filter by author magoorden opened on Oct 25, 2021

• Ensure only things that are not factory-instance specific are static

  com-github-javabdd/com.github.javabdd#7 · Filter by author dhendriks opened on Oct 24, 2021