================================================

Structured Markov Chains Solver  [ SMCSolver ]
Dario Bini, Beatrice Meini, Sergio Steffe'
dario.bini@unipi.it, beatrice.meini@unipi.it, steffe@cs.dm.unipi.it
Dipartimento di Matematica - Universita' di Pisa
Largo Pontecorvo 5
56127 Pisa
Italy

Version 2.2 - February 2022


===============================================


2005 October:	Start of the Project (no name, called "prova" ...)
	Fortran routines available + simple interface written in glade2
2006 March:     StocMatSol_1.0 (pro tempore name)
	The interface rewritten and now is independent from glade, and some more Fortan routines are added.
2006 April:	SMCSolver_1.0 (pre release)
	Interface and Fortran routines are growing ...

2006 October:	SMCSolver_1.1 (first release)
	presented at 
	SMCTOOLS: Tools for solving Structured Markov Chains
	organized within the 
	VALUETOOLS 2006 Conference held in Pisa, Italy - October 10, 2006 
	
2006 November:	SMCSolver_1.2
	added:	 documentation in PDF format
	changed: a minimun set of routines are selected from new lapack-3.1.0
		 and included:  minimum blas, lapack and lapack95 libraries are
		 compiled if needed.
	changed: Makefile has more complete dependency tree, and make.inc's
		 with compilator specific options are added, and building
		 libsmcsolver.a has been added.
	changed: a bug in is_sub.f90 is fixed
	changed: a race condition when calling the STOP has been removed.
	fixed: various small bugs in the interface.

2007 March:	SMCSolver_1.3
	added:	 Newton algorithm in menu, but still to implement.
	changed: write format for Fortran mode.
        **** unfinished ******

2009 June:	SMCSolver_2.1
	changed: reorganized Algorithms and Goals menu:
	added:	 menu Preprocessing with shift and dual options
	changed: shift options removed from Algorithms submenus.
	changed: parameters menus moved in option menu.
	added:	make.inc.gfortran.
	added:  flag -s and option "Landscape"
	changed: rearranged windows for Landscape.
	added:  .SMCSolverrc optional file for changing
                 the graphical style.

2024 March:	SMCSolver_2.2
        changed: email addresses, removed duplicate definitiond adding extern attribute as needed 	
