Repository navigation
CAC computation
-CAC computation, printed to PAC_list with witnesses
-z3 path
-auto rename of reactions
-updated juce and juce_organicui to current version
-fixed bug on RACs
-dt with 5 decimals instead of 3
-CAC computation, printed to PAC_list with witnesses
-z3 path
-auto rename of reactions
-updated juce and juce_organicui to current version
-fixed bug on RACs
-dt with 5 decimals instead of 3