Commit 0f385267 authored by Philipp J. Meyer's avatar Philipp J. Meyer
Browse files

Updated version number

parent 1e1bcf37
name: slapnet name: slapnet
version: 0.9.0.0 version: 0.9.1.0
synopsis: Safety and Liveness Analysis of Petri Nets with SMT solvers synopsis: Safety and Liveness Analysis of Petri Nets with SMT solvers
description: description:
SLAPnet is a tool to check safety and liveness properties of Petri nets SLAPnet is a tool to check safety and liveness properties of Petri nets
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment