1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-20 09:39:38 +01:00

Updated Home (markdown)

Stefan Ellmauthaler 2021-12-28 18:56:53 +01:00
parent fe116be774
commit 8718aae959

@ -1,2 +1,5 @@
Welcome to the adf-obdd wiki!
This is currently just a scratch-pad for different results and outputs to share with other collaborators.
[[LOG-of-first-big-tests]]