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

version

Browse Source
This commit is contained in:
Artur Meski
2018-01-06 20:39:46 +00:00
parent bc2c3f3a3d
commit 794d803c85
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rssmt.py
View File

@@ -23,12 +23,12 @@ if profiling:
################################################################## ##################################################################
version = "2017/04/08/00" version = "2018/01/06/00"
rsmc_banner = """ rsmc_banner = """
Reaction Systems SMT-Based Model Checking Reaction Systems SMT-Based Model Checking
Version: """ + version + """ Version: """ + version + """
Author: Artur Meski <meski@ipipan.waw.pl> / <artur.meski@ncl.ac.uk> Author: Artur Meski <artur.meski@gmail.com>
""" """
################################################################## ##################################################################