Skip to content

Merge jt - various fixes and improvements

Jan Trávníček requested to merge merge-jt into master

Most important changes: complete drop use of enable_if, count -> contains at some places, some algoritmic simplifications.

Merge request reports