Search results

UnsupportedOperationException in FindBestOrder.tryOrder

Status: Open.

#74 In com-github-javabdd/com.github.javabdd;

· dhendriks opened on Oct 13, 2024

Reordering shows no effect.

Status: Open.

#44 In com-github-javabdd/com.github.javabdd;

· hoemich opened on Aug 25, 2023

The cache statistic swapCount is never recorded

Status: Open.

#23 In com-github-javabdd/com.github.javabdd;

· magoorden opened on Nov 24, 2021

Clean up todo's

Status: Open.

#8 In com-github-javabdd/com.github.javabdd;

· magoorden opened on Oct 25, 2021

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

Status: Open.

#7 In com-github-javabdd/com.github.javabdd;

· dhendriks opened on Oct 24, 2021