z3-git-graph

SAT/SMT Solver using Z3 for locating patterns in Git repository graphs

Usage

To build the Metagraph and run the SAT solver for detecting patterns in the graph, use the following commands:

python3 SatSolver.py ./<gitroot>

Note: Your system might have python mapped to Python 3, in which case replace python3 accordingly.