Artifact License for CAV 2026

Copyright (c) 2026 [S.Akshay, C.Garg, A.Gupta, K.Meel, A.Naik]

Permission is granted to use, run, and examine this artifact for
the purpose of artifact evaluation and academic research.

Restrictions:
- Redistribution is not permitted without permission.
- Modification of the artifact is not permitted.
- Use for commercial purposes is not permitted.
- the tool is to be run only on the given benchmarks provided within the artifact package

The artifact is provided "as is", without warranty of any kind.
