GitHub repository: CopperCableIsolator/goblint-sparsification
Primary language: OCaml
Description: tum-WS24/25-practical Sparsification of Linear Equality Domain