removed stupid getVal()
- simple optimizations in semilinear sets
- error msg if input file could not be opened
Merge pull request #14 from michalt/cleanup

update README and improve cmake configuration
very simple python-script to generate random quadratic probabilistic systems
new float-test grammar
new float performance tests together with a generating script for float-grammars
Merge pull request #16 from michalt/freesemiring

Freesemiring
can now generate float-equations with constant terms (i.e. they do not have 0 as smallest solution anymore)
typo..
newton: whitespace only
fixed semilinear-set parser to deal with spaces.. also the one-element is now correctly parsed
newton: replace genIdx
Merge branch 'newton' of https://github.com/michalt/newton into michalt-newton

Conflicts:
	c/src/newton.h
new float-test
new float-test
Merge branch 'master' into lpsolve
startet working on using lpsolve for computing inclusions etc. between slsets.
added parameters for the gen-script
merged eq-gen-script
newton: improve performance of Generator