Carlo Russo
Carlo Russo
Imported from arkworks: - enforce_smaller_equal_than_le() gadget for Vec and modified previous implementation of enforce_in_field(); - conditionally_add and conditionally_select gadgets for UInt64; - comparison gadgets for FpGadget; - added conditionally_add function...
- New tool called catchstats used to compute catchment statistics. The tool can be used either from the command prompt or imported in a Python script: `from lisfloodutilities.catchstats import catchment_statistics`...
Water demand historic map generation changes to readme and scripts to use updated datasets