README.md 362 Bytes
Newer Older
1
Project Daisy
2 3 4 5 6 7


Acknowledgements
----

A big portion of the infrastructure has been inspired by and sometimes
8
directly taken from the Leon project (see the LEON_LICENSE).
9

Eva Darulova's avatar
Eva Darulova committed
10 11 12
Especially the files in frontend, lang, solvers and utils bear more than
a passing resemblance to Leon's code.
Leon version used: 978a08cab28d3aa6414a47997dde5d64b942cd3e
13 14


15 16
First steps
----