MicroTESK 2.4.10 released

MicroTESK 2.4.10 has been released.
Added by Andrei Tatarnikov 10 months ago

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