tccp Simulator

A tool for the simulation of tccp programs, whose execution shows the state of the store and the next agent to be executed. After a number of execution steps, which can be configured by the user, the output shows the current state of the global store (symbol table tree and main memory).