Browsing by Subject "Constraint solvers"
Now showing items 1-1 of 1
-
HAMPI: A Solver for String Constraints
(2009-02-04)Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more ...