This repository has been archived by the owner on Dec 5, 2024. It is now read-only.
This repository has been archived by the owner on Dec 5, 2024. It is now read-only.
Open
Description
Currently it's not clear what names PGMax assigns to different variables (e.g. #115). Add documentation to make this clearer.