Closed agocke closed 1 year ago
All we need is to track assignment, so this is much more efficiently done using a bit array instead of individual Option variables.
Fixes #109
All we need is to track assignment, so this is much more efficiently done using a bit array instead of individual Option variables.
Fixes #109