ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00
Code Issues Projects Releases Wiki Activity
25 Commits 18 Branches 18 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Stefan Ellmauthaler
275adbe7f1 Tidied up the application 
added documentation
added clap for program argument handling
fully clippy approved (except where it shall not be changed)
updated workflow for win and linux builds

Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
 2021-07-20 16:51:14 +02:00
Stefan Ellmauthaler
c424d0222a changed program name 
Signed-off-by: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
 2021-06-30 10:57:47 +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