Overview

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:

[![Hits-of-Code](https://hitsofcode.com/github/ctlab/fbSAT)](https://hitsofcode.com/github/ctlab/fbSAT/view)