README.md 346 Bytes
Newer Older
1
Project Daisy
2 3 4 5 6 7 8 9


Acknowledgements
----

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

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