o_O

Downloads

The new (smt)2 version is now hosted on smt2 Google code. There you can find the latest source code. However, this page will be updated with the basic releases. It is encouraged to use a subversion client, as possible issues are fixed faster in SVN than in ZIP files.

Main line of development

Use this command to check out the latest source code:
svn checkout http://smt2.googlecode.com/svn/trunk/ smt2-trunk

Snapshots

Latest version: 2.0.1

Download this release in a ZIP file 307 kB
Build release date: February 21st, 2010
MD5 checksum: fa4d549c36416adc22f50a3222b9185c

Download the sources and API documentation 499 kB
MD5 checksum: 4d354e929d9f6a5e20834049b9415875

To update from version 2.0.0, overwite your /smt2 dir with the new files and navigate to /smt2/admin/sys/upgrade.php.

Previous version: 2.0.0

Download this release in a ZIP file 204 kB
Build release date: September 12th, 2009
MD5 checksum: 4e446d9af25a852c72a3a23f6f2a9b42

Download the sources and API documentation 344 kB
MD5 checksum: 208cd84e7b2394c8b221728e88a47c82

Documentation [HTML]

Read the (smt)2 documentation on the project's Google code Wiki pages.

Research papers [PDF]

Applications of (smt) in research projects [PDF]

Donations

Support the development process.