Aboue TACLe Benchmarks This is the starting point for the repository of the TACLe benchmark collection. See also: http://tacle.knossosnet.gr/activities/taclebench Getting Started TODO: add notes how to compile