Cleanup + FullSolGathering instead of ValidSolGathering
Showing
- CaseStudies/Convergence/Algorithm_noB_Assumptions.v 2 additions, 0 deletionsCaseStudies/Convergence/Algorithm_noB_Assumptions.v
- CaseStudies/Gathering/InR2/Algorithm_withLight.v 1 addition, 1 deletionCaseStudies/Gathering/InR2/Algorithm_withLight.v
- CaseStudies/Gathering/WithMultiplicityLight.v 1 addition, 62 deletionsCaseStudies/Gathering/WithMultiplicityLight.v
- Models/GraphEquivalence.v 1 addition, 1 deletionModels/GraphEquivalence.v
- Models/GraphEquivalence_Assumptions.v 4 additions, 0 deletionsModels/GraphEquivalence_Assumptions.v
- _CoqProject 5 additions, 2 deletions_CoqProject
- dev/build_package.sh 123 additions, 31 deletionsdev/build_package.sh
Loading
Please register or sign in to comment