Companion

Properties

Link copied to clipboard

Default cap on intermediate Fourier–Motzkin rows before the check fails open.