search

sybila / parasim

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

make neighborhood available in verification result #116

Closed papousek closed 11 years ago