symja_android_library icon indicating copy to clipboard operation
symja_android_library copied to clipboard

Published 20 hours ago • verified publisher icon axkr

Implement BooleanFunction

Open axkr opened this issue 2 years ago • 1 comments

Implement BooleanFunction by using LogicNG BDD implementation.

axkr avatar Jun 05 '22 20:06 axkr

Can someone review the commits? Is it possible to use LogicNG BDDs more smoother/more compatible compared to MMA implementation?

axkr avatar Jun 06 '22 09:06 axkr