Added SAT matrix multiplication
Merge pull request #1 from MartinThoma/master

Added SAT matrix multiplication