The replication package is also available via
To use the Plugins with the CFM Toolbox, each of it first needs to be build via poetry. Therefore got to one of the three directories (CSP, ILP or SMT) and run the following command.
poetry build
Then install the plugin, which should install the dependency CFMtoolbox and for the CSP- and ILP-Plugin install Or-Tools as well.
pip3 install Path-To-The-Plugin/cfmtoolbox-smt-encoder/dist/cfmtoolbox_smt_encoder-0.1.0.tar.gz
For the SMT Plugin an additional Installation of Z3 is necessary (see here). The path to the solver should then be added to the init.py of the SMT Encoding Plugin (see here).
The Plugin adds the following commands to the toolbox.
To show all installed commmands use:
python -m cfmtoolbox --help
The lack of existing real-world CFMs, required the analysis to be done with a set of syntacticly developed subject systems.