SAT/SMT Solver using Z3 for locating patterns in Git repository graphs
Primary LanguagePythonApache License 2.0Apache-2.0