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
slset optimized representation (reduce number of gens and number of linsets via ILP using lpsolve)
Merge branch 'master' into lpsolve
Merge branch 'master' into lpsolve