Abstract: This paper proposes a heuristic for planning a distributed search that yields an exhaustive enumeration. The paper is motivated by the need to search for binary extremal self-dual codes. The ...

Calling this a bug is perhaps a bit disingenuous , but it is a regression from b2.0.7 so I thought I'd mark it as such. With the following, pyright and pylance are no longer able to check for whether ...