Closed arxanas closed 7 months ago
Stack:
refactor(bisect): make Strategy into trait
Strategy
We will want to add more kinds of strategies in the future (in particular, minimization involves a strategy operating on the power set of nodes).
Stack:
refactor(bisect): make
Strategy
into traitWe will want to add more kinds of strategies in the future (in particular, minimization involves a strategy operating on the power set of nodes).