Added test for sat
Added test for quotient
Merge pull request #273 from mohamed-barakat/spielwiese

mv files to right folder
Merge pull request #271 from jankoboehm/spielwiese

Added test for sat
*levandov: updated bibliography entries