1. 1. Version solving
2. 2. Using the pubgrub crate
3. 1. 2.1. Basic example with OfflineDependencyProvider
   2. 2.2. Implementing a dependency provider
   3. 2.3. Caching dependencies
   4. 2.4. Strategical decision making in a DependencyProvider
   5. 2.5. Solution and error reporting
   6. 2.6. Writing your own error reporting logic
4. 3. Advanced usage and limitations
5. 1. 3.1. Optional dependencies
   2. 3.2. Allowing multiple versions of a package
   3. 3.3. Public and Private packages
   4. 3.4. Pre-release versions
6. 4. Internals of the PubGrub algorithm
7. 1. 4.1. Overview of the algorithm
   2. 4.2. Terms
   3. 4.3. Incompatibilities
   4. 4.4. Partial solution
   5. 4.5. Conflict resolution
   6. 4.6. Building a report tree
8. 5. Testing and benchmarking
9. 1. 5.1. Property testing
   2. 5.2. Comparison with a SAT solver
   3. 5.3. Benchmarking
10. 6. How can I contribute? Here are some ideas