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

Updated version string

Browse Source
This commit is contained in:
Artur Meski
2017-03-13 22:29:55 +01:00
parent 36f571c0d1
commit b0bfa4a13f
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/05/00"
version = "2017/03/13/00"
rsmc_banner = """
Reaction Systems SMT-Based Model Checking