issues
search
sybila
/
parasim
Tool for paralell simulations and verification
GNU General Public License v3.0
3
stars
1
forks
source link
prepare remote extension for distributed memory executor
#127
Closed
papousek
closed
11 years ago