MaxSAT algorithm: SIS #917

Job	Run time
Build (ubuntu-latest)	53s
Build (macos-latest)	1m 15s
Build (windows-latest)	4m 27s
linux (x86_64)	1m 18s
linux (x86)	1m 32s
linux (aarch64)	1m 46s
linux (armv7)	1m 53s
linux (s390x)	1m 40s
linux (ppc64le)	1m 41s
macos (x86_64)	1m 3s
Test python stubs	35s
Ensure Python API crate version is in sync	2s
macos (aarch64)	1m 1s
sdist	19s
windows (x64)	1m 42s
windows (x86)	1m 48s
Release	0s
	22m 55s

Provide feedback