GitHub repository: lattice-land/lala-power
Primary language: C++
Description: Abstract domains based on powerdomain constructions. It includes search tree and branch and bound abstract domains.