1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-19 09:29:36 +01:00

Updated Home (markdown)

Stefan Ellmauthaler 2021-12-28 18:58:53 +01:00
parent b4562e527e
commit 88b1749150

@ -1,5 +1 @@
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]]