Library and tool to define and test abstract data types. This library is for educational purposes to learn about abstract data types. It is written in C#. A simple tool called AdtPlayground is also included. It allows you to create abstract data types and also test them by evaluating various expressions and see the results after applying the axioms.
Currently there is no binary release available so you need to download the source and open the Visual Studio 2013 solution. The 2012 version of Visual Studio should also work fine but is not officially supported.
To run the tool, simply open the solution and run the AdtPlayground project.
A detailed description of the user interface can be found in the wiki: