A Python Implementation of the LTS_Diff algorithm for state-based model comparison

Folder structure

• algorithm contains the LTS_Diff algorithm
• dot-files contains some example dot-files which can be used in the algorithm

Dependencies

• pySMT
• NetworkX

NetworkX

Install the latest release:

$ pip install networkx[default]

pySMT

Install the latest version of pySMT by:

$ pip install pysmt

After that the SMT-solvers can be installed by:

$ pysmt-install --all

The solvers are saved in ~/.smt_solvers

Linux Ubuntu 20.04

CVC4 directory was not correctly named, renaming the directory fixed it.

Windows 10

On Windows not every SMT solver can be installed, some give errors.
The SMT-solvers that work on my machine:

• msat
• z3