1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
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
..
2021-06-30 10:42:20 +02:00