Ticket #25 (new enhancement)
Opened 8 years ago
keep track of sets of adjunctions into the same node [old tracker]
|Reported by:||kowey||Owned by:||somebody|
This could be a form of packing where we try to store adjunctions into the "same" node as a set (that can happen in any order).
Would only be really useful if multi-adjunction happens a lot