Closed arendMoerman closed 1 year ago
Updates that implement the iterator structure for finite choices. Also added some tweaks in source code.
Not iterator, but enumerator, of course!
Updates that implement the iterator structure for finite choices. Also added some tweaks in source code.