PyIDF - VS Code Plugin
PyIDF is a Python interface to the Iterative Decomposition Framework (IDF), part of Imandra Reasoning as a Service suite of APIs for verification and analysis of algorithms. PyIDF was specifically created for application of Region Decomposition to improvement of Reinforcement Learning by measuring and enforcing diversity of agent learning experiences.
PyIDF makes it easy to encode a model of the environment as an infinite state machine and decompose its state-space with Imandra. PyIDF requires a certain format for expressing the models for IDF analysis and this VSCode plugin provides the necessary validation.
For a detailed list of the requirements for PyIDF please see our documentation. The version of Python used for writing the files must be at least Python 3.0, but for the purposes of the analysis the system must have