The project https://github.com/ctlab/fbSAT has
107.7k (exactly 107670) hits of code at
3e48c7c1626fab6da24a0b01d3431cee337d3d8f on the
default branch branch. The repository contains
820 commits.
To include the badge in your readme, use the following markdown:
[](https://hitsofcode.com/github/ctlab/fbSAT/view)