MicroTESK

The new release contains the following changes:

• The SAT4J solver has been adapted to be used in the memory engine
• The .text directive is automatically inserted into code
• Bug fixes and general improvements

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files