artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Name

Browse Source
This commit is contained in:
Artur Meski
2017-11-05 17:52:51 +00:00
parent 1b94cbc7c0
commit a9a37baba7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rssmt.py
View File

@@ -28,7 +28,7 @@ rsmc_banner = """
Reaction Systems SMT-Based Model Checking Reaction Systems SMT-Based Model Checking
Version: """ + version + """ Version: """ + version + """
Author: Artur Męski <meski@ipipan.waw.pl> / <artur.meski@ncl.ac.uk> Author: Artur Meski <meski@ipipan.waw.pl> / <artur.meski@ncl.ac.uk>
""" """
################################################################## ##################################################################