Refinement types for Scala
Strong type constraints for Scala
Verification framework and tool for higher-order Scala programs
Programming is an exercise in linguistics; spice-up Scala types with Adjective.
Solver for higher-order functional programs
Problem solving à la carte
An SMT Solver for string constraints
A Scala front-end for the JaCoP constraints solver library.