node hashcode; more stable cone comparisons
better logging
workaround for compiler bug
change to globalconstants
enable some logging
change build scripts to work with custom branch of javabdd
use new supportSize function of BDD library
disable logging for best execution time results
scripts for timing; tlut map script
new result logs; resource sharing mapping in python
first resource sharing mapping algorithm
commit paper
small fixes
alternative calculation of activation functions for resource sharing

activation functions calculated based on result of mapping
extend new activationfunction calculation so that activationfunction is only true when LUT is needed
some renaming in preparation of next step
refactor bdd calculation of single node
parent0 and parent1 of cone should correspond to I0 and I1 of root of cone
simplify calculation of local function
on demand calculation of local function of cone