Python: add `BooleanFunction.sat_count` using arbitrary precision int… #104

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	51s
Test (stable)	1m 36s
Test (stable, --release)	1m 49s
Test (nightly)	1m 11s
Test (nightly, --release)	1m 55s
	7m 22s