WithMultiplicityLight done + start of gathering
Main Issue: support no longer accurately expresses towers as lights are taken into account Potential solution: split location and lights into two separate components
Showing
- CaseStudies/Gathering/InR/Algorithm.v 1 addition, 1 deletionCaseStudies/Gathering/InR/Algorithm.v
- CaseStudies/Gathering/WithMultiplicityLight.v 235 additions, 40 deletionsCaseStudies/Gathering/WithMultiplicityLight.v
- Util/ListComplements.v 14 additions, 2 deletionsUtil/ListComplements.v
- Util/MMultiset/MMultisetFacts.v 11 additions, 0 deletionsUtil/MMultiset/MMultisetFacts.v
Loading
Please register or sign in to comment