The tool generates execution paths using the SAT based kodkod library