Skip to content

imnasnainaec/GraphPropertyDatabase

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Graph Property Database


Currently the only element of this project is the GPD Implication Browser.

Version 0 was maintained on my academic webpages as a postdoc.

Version 1 begins here in GitHub, under GNU license GPLv3.


Permanent Branches:

  • master

    • The main branch for merging stable elements.
  • IB-dev

    • The main development branch for the Implication Browser.