Software for PW-SAT 2 simulations.