|
The Software produced in the project is available for download. The software encapsulates much of the original work on the grant. Most of the functions are executed from an editor, which allows Euler Diagrams, Spider Diagrams and Constraint Diagrams to be created. It includes reasoning systems for these diagrams, with a comprehensive rule set and automatic proof mechanisms for Spider Diagrams. The software includes automatic layout for all the diagram types. See the documents page for papers describing the software. This download includes the constraint diagram editor, layout tools and reasoning tools. See also The User Guide. The project has also contributed to the development of metatools which it used to develop the RwD tools. See Kent Modelling Framework (KMF) . If you have any queries contact Peter Rodgers |
|||||||||||||||||||
|
|
||||||||||||||||||||
