This is an alpha release of Trindikit4.

The file differences_from_trindikit3.html is a first (not complete) documentation draft, which requires some knowledge of Trindikit.

The directory examples contains an example system.

Trindikit4 is distributed under the GNU General Public License, see file license.txt