Stefan Ellmauthaler b566837593 computing grounded with a shortcut and a "normal" computation ...

shortcut is slighty faster, has in all tested instances the same result.

Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>

2021-06-30 16:05:15 +02:00

..

adf.rs

computing grounded with a shortcut and a "normal" computation

2021-06-30 16:05:15 +02:00

lib.rs

changed structure, added basic functionality for formulae and statements (adf representation)

2021-06-23 16:02:29 +02:00

main.rs

computing grounded with a shortcut and a "normal" computation

2021-06-30 16:05:15 +02:00

obdd.rs

fixed all clippy warnings

2021-06-30 10:42:20 +02:00