sybila / parasim

Tool for paralell simulations and verification
GNU General Public License v3.0
3 stars 1 forks source link

enable continuing in already finished computation with higher iteration limit #91

Open papousek opened 11 years ago