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

Version number

Browse Source
This commit is contained in:
Artur Meski
2017-07-21 14:33:42 +01:00
parent f28edea6ac
commit fec235a6a1
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

@@ -20,7 +20,7 @@ profiling = False
################################################################## ##################################################################
version = "2017/03/13/00" version = "2017/04/08/00"
rsmc_banner = """ rsmc_banner = """
Reaction Systems SMT-Based Model Checking Reaction Systems SMT-Based Model Checking