improve robustnes for meaningful support of other predicates than "x > k" or "x < k" - Githubissues

sybila / parasim

Tool for paralell simulations and verification

GNU General Public License v3.0

3 stars 1 forks source link

improve robustnes for meaningful support of other predicates than "x > k" or "x < k" #108

Closed papousek closed 11 years ago