3 Commits

Author	SHA1	Message	Date
Stefan Ellmauthaler	d4cbec0a76	First fully running version of the prototype ... Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>	2021-06-30 10:05:02 +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