Skip to content

Latest commit

 

History

History
9 lines (8 loc) · 357 Bytes

README.md

File metadata and controls

9 lines (8 loc) · 357 Bytes
Raw

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.