2016-11-03 22:51:22 > *** This is nuXmv 1.0.1 (compiled on Mon Nov 17 16:49:54 2014)
2016-11-03 22:51:22 > *** Copyright (c) 2014, Fondazione Bruno Kessler
2016-11-03 22:51:22 > 
2016-11-03 22:51:22 > *** For more information on nuXmv see https://nuxmv.fbk.eu
2016-11-03 22:51:22 > *** or email to <nuxmv@list.fbk.eu>.
2016-11-03 22:51:22 > *** Please report bugs at https://nuxmv.fbk.eu/bugs
2016-11-03 22:51:22 > *** (click on "Login Anonymously" to access)
2016-11-03 22:51:22 > *** Alternatively write to <nuxmv@list.fbk.eu>.
2016-11-03 22:51:22 > 
2016-11-03 22:51:22 > *** This version of nuXmv is linked to NuSMV 2.5.trunk.
2016-11-03 22:51:22 > *** For more information on NuSMV see <http://nusmv.fbk.eu>
2016-11-03 22:51:22 > *** or email to <nusmv-users@list.fbk.eu>.
2016-11-03 22:51:22 > *** Copyright (C) 2010-2014, Fondazione Bruno Kessler
2016-11-03 22:51:22 > 
2016-11-03 22:51:22 > *** This version of nuXmv is linked to the CUDD library version 2.4.1
2016-11-03 22:51:22 > *** Copyright (c) 1995-2004, Regents of the University of Colorado
2016-11-03 22:51:22 > 
2016-11-03 22:51:22 > *** This version of nuXmv is linked to the MiniSat SAT solver. 
2016-11-03 22:51:22 > *** See http://minisat.se/MiniSat.html
2016-11-03 22:51:22 > *** Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
2016-11-03 22:51:22 > *** Copyright (c) 2007-2010, Niklas Sorensson
2016-11-03 22:51:22 > 
2016-11-03 22:51:22 > *** This version of nuXmv is linked to MathSAT
2016-11-03 22:51:22 > *** Copyright (C) 2014 by Fondazione Bruno Kessler
2016-11-03 22:51:22 > *** Copyright (C) 2014 by University of Trento
2016-11-03 22:51:22 > *** See http://mathsat.fbk.eu
2016-11-03 22:51:22 > 
