GitHunt
JO

JoeyEremondi/SetConstraintsSMT

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

Languages

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

Contributors

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