isomorphism-code

Installation

Create a python virtual environment and install dependencies

uv venv .venv-iso
source .venv-iso/bin/activate
uv pip install -r requirements.txt --no-cache

To run the tool, simply call main.py and it will show you the options

python3 main.py

The following call will test for pairwise conflicts between states in Gripper instances

./main.py wl --data-path data/gripper