MicroTESK

The new release contains the following changes:

• Support for the CVC4 constraint solver was implemented (*)
• Several bug fixes and general code improvements were made

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

(*) Please see the Installing Constraint Solvers and Running MicroTESK sections of Installation Guide to learn how to install and use CVC4.