v3.2.3

SJulianS released this 18 Jan 17:24

· 2961 commits to master since this release

ee1f185

fixed z3_utils plugin being disabled by default causing linking errors
fixed load_initial_values and load_initial_values_from_netlist assigning values to potentially non-existing nets

Assets 2