param_sccmc 1.0

--------------------------------------------------------------------------
------------------------- Building param_sccmc ---------------------------
--------------------------------------------------------------------------
Required libraries:
	cmake
	ginac
	gmp
	boost
Required libraries for reading prism files:
	luajit
	bison
	flex


Build with 

	mkdir build
	cd build
	cmake ..
	make

Possible options for cmake:
USE_POLY_MANAGEMENT: Enable polynomial management, which decreases memory consumption

--------------------------------------------------------------------------
------------------------- Running param_sccmc ----------------------------
--------------------------------------------------------------------------

For an overview of options execute:
	./param_sccmc
Run a prism file "model.pm" using the SCC aprroach with:
	./param_sccmc model.pm
Run a prism file "model.pm" using the state elimination approach with:
	./param_sccmc --state_elim model.pm
