# Compsys Tools

### Array Contraction

- Bee - Source-to-source array contraction under scheduling constraints
- Cl@k - Critical Lattice Kernel Library

### Program termination

- RanK - A tool to prove program termination/and to estimate computational complexity (WCCC)
- WTC - Termination/Complexity bounding Benchmarks
- SToP - Scalable Termination analysis of C Programs
- Termite - Termination in the large (now on
github !) (PLDI 2015)

### Others

- Simplication - Simplification of Boolean Affine Formulas
- CART - Constant Aspect Ratio Tiling
(source-code)
- Aspic Invariant Generator.

### From other teams