orcc/orcc — pull request #95 by JamesGuthrie (2014-04-11 07:41:29+00:00)
Title: (DAL) Added option to use sat-solver on guards

Using the satisfiability solver on the action's guards allows us to
reduce the number of false positives that are produced when analysing
actors for non-deterministic (deadlock-causing) behaviour.