Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Lifeware
biocham
Repository
biocham
ctl.pl
Find file
Blame
History
Permalink
all_or_some option for nusmv_initial_states
· 96feefde
SOLIMAN Sylvain
authored
Oct 05, 2016
check_ctl/1 killed to use an option instead. docs fixed locally
96feefde