MINTS (MINimizer for Test Suites)

Prerequisites:

MINTS requires timeout in SATAN, the System Administrator Tool for Analyzing Networks.
In this release of MINTS, following solvers are supported: MiniSat+ v1.0, bsolo v3.0.15, PBS v4, OPBDP v1.1, glpPB v0.2,  and Pueblo 1.5 (use glpPB scripts).
Follow the instructions of each respective solver, install solvers and insert the binaries to $PATH.

Download:

MINTS package

Installation:

1) Extract contents of MINTS package.
2) Set up an environment variable called $MINTS,  point $MINTS to the folder extracted from MINTS package.
3) Follow the instructions in file format description to set up the input files.
4) Use corresponding scripts to invoke MINTS.  Given that the minimization policy is defined in PRIORITY, use
  $MINTS/mints_(solver name).sh (solver executable) (time-out limit in seconds)  <  PRIORITY

Testing MINTS:

A set of examples can be founded in $MINTS/tests. 
To test MINTS, in folder $MINTS/tests, execute the following command:
$MINTS/mints_bsolo.sh bsolo 10 < test_priority

This script, given that the executable of bsolo can be found in $PATH, invokes bsolo as the back-end solver with 10 seconds time-out limit for each of the prioritized selection criteria.

Now check text files “solver_output_*”, in which the back-end solver reports the execution results of each priority batch. 
These files also include assignments to the variables. Such assignment give examples of minimized test suites that are optimal to the absolute criteria defined. 
Check the manual of each solver for the details of the formats of the output files.