-_=

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: March 12th, 2010
MD5 checksum: 26168537b3bab59e5c6963e020bdd405

Download the sources and API documentation 309 kB
MD5 checksum: 6ecdb3accd2342dfa1621c4ea6a29d77

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.