The tool works as outlined in Investigation of a Knowledge-Based Subset Construction for Multi-Player Games of Imperfect Information, with minor bug fixes. Code cleanup is not yet completed.