Changed a bit the counter-strategy extraction - now works for strategies that "need preparation before falsifying the system specification"
A medium rewriting of the explicit-state counterstrategy code. To be reviewed.
uint to unsigned int
Added 3-clause BSD license
Merge branch 'master' into incrementalSynthesis