GitHunt
JO

JoeyEremondi/SetConstraintsSMT

Code for "Set Constraints, Pattern Match Analysis and SMT"

Code accompanying Set Constraints, Pattern Match Analysis and SMT. Now hosted at https://codeberg.org/JoeyEremondi/SetConstraintsSMT

Languages

C++59.6%Haskell37.9%Scala2.5%

Contributors

JO
BSD 3-Clause "New" or "Revised" License
Created November 12, 2017
Updated February 18, 2025