issues
search
ssardina-research
/
nugat-0.6.0
NuGaT port for NuSMV 2.6.0
https://es.fbk.eu/technologies/nugat-game-solver
GNU General Public License v2.0
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Not compiling anymore.. :-(
#3
ssardina
opened
1 year ago
5
unknown command 'pick_state'
#2
ssardina
opened
3 years ago
1
Segmentation fault when printing controller
#1
ssardina
opened
3 years ago
0