We completed work on the form checker. And we integrated this with the current...
We completed work on the form checker. And we integrated this with the current master branch. The integration succeeded and seemed to improve the performance of the NW algorithm.
This is already with the current master branch. So integration should not give many merge conflicts.