Tag: Screamer

A few years I ago I had briefly experimented with the Screamer library in the context of automatic test case generation from specification. I felt it was a useful utility for doing simple constraint programming tasks. Recently while going through some of the past articles in the Opusmodus forum, I was pleasantly surprised to find references to constraint programming […]