Search results

Add contact info, contribution guidelines, citation help etc.

Status: Open.

#14 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Have raw → intermediate → final data available for download

Status: Open.

#13 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Add instructions on how to carry out all the calculations from the paper/thesis

Status: Open.

#12 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Make UML diagrams for all of graphsat using PlantML

Status: Open.

#11 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Construct the following graph-satchecker

Status: Open.

#10 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Implement rule rewriting using PLY (Python Lex-Yacc)

Status: Open.

#9 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Split up graph.py and mhgraph.py into a separate package

Status: Open.

#8 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Try out concurrency for apply_patterns.py as well as pattern_recognition.py

Status: Open.

#7 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Package improvements: read literature

Status: Open.

#6 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Oct 1, 2022

Create docker image for testing pip package

Status: Open.

#4 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Sep 24, 2022

CICD pipeline for automated testing

Status: Open.

#3 In vaibhavkarve/graphsat;

· vaibhavkarve opened on Sep 21, 2022