Install: python -m pip install -r requirements.txt
Run from the extracted folder:
python run.py --data data/lab.trig --query SPQ-12-004-verify.rq --update SPQ-12-004.ru --export-dir results --stem SPQ-12-004
Every run loads a fresh in-memory dataset. No endpoint is needed.
