- ../README.md:1: branch scope.
- ../.gitignore:2: ignored local outputs.
This branch is not a production distribution.
- Do not commit private datasets, generated outputs, DOT/JSON dumps, or timing logs.
- Treat fact files, probability files, and JSON logs as experiment data.
- Keep large or machine-local runs outside the repository checkout.
- The build depends on the system C++ toolchain, CMake, Flex/Bison, Python 3, Readline, and CUDD.
- Pin dependency versions in release notes when preparing an archive.