Skip to content

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

License

Notifications You must be signed in to change notification settings

nelsonni/z3-git-graph

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages