53 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Stefan Ellmauthaler	40ea81b417	changed structure, added basic functionality for formulae and statements (adf representation) ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-23 16:02:29 +02:00
Stefan Ellmauthaler	7d9e99b900	first implementation of a restricted ordered bdd. ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-14 16:56:15 +02:00
Stefan Ellmauthaler	317a01a701	Initial commit	2021-06-11 12:31:36 +02:00