# tig-challenges

A Rust crate that contains the implementation of TIG's challenges (computational problems adapted for proof-of-work).

Presently, TIG features the following challenges:
1. [Boolean satisfiability](./src/satisfiability.md)
2. [Capacitated vehicle routing](./src/vehicle_routing.md)
3. [Knapsack problem](./src/knapsack.md)
4. [Vector range search](./src/vector_search.md)
5. [Hypergraph partitioning](./src/hypergraph.md)

# License

[End User License Agreement](../docs/agreements/end_user_license_agreement.pdf)