tree d94c6d98d0799dec9ce240de84f6d665615a7bf0
parent c1db9130f508be12810a357c91e577b156a8b8fd
author margaretha <margaretha@ids-mannheim.de> 1569235679 +0200
committer margaretha <margaretha@ids-mannheim.de> 1569237432 +0200

Resolved #50. Added statistics API with KoralQuery input.

Change-Id: Ib62a15e31ff72063e13fff88ca4e36e65ddeb7a8