Creating a Tool for ILP

For information on how to create a tool for ILP, refer to the Adding a Tool chapter in the ILP User Guide.