Skip to content

1.0.1
Compare
Choose a tag to compare
@jsbezerra jsbezerra released this 18 Oct 11:07
· 629 commits to master since this release
1.0.1
4d4b7bc

Graphs:

  • Typed Graphs
  • Attributed Graphs

Approaches:

  • DPO
  • SqPO
  • AGREE

Features:

  • Critical Pairs Analysis
  • Critical Sequences Analysis
  • Concurrent Rules
    • by dependencies
    • with atomic constraints
    • with graph constraints
  • Second Order
    • Second Order conflicts
    • Interlevel Conflicts
    • Rule Transformation
  • Graph Processes
  • Model Cheking
  • Theorem Proving

Interface:

  • Command Line Interface
  • Graphical User Interface
  • Web Service API
Assets 3
Loading