added inequality reasoning to calc, z3_match, Cond utility #13

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.9)	11s
build (3.10)	10s
build (3.11)	11s
	32s