Skip to content

A critical leaf identifier for Rule/Goal Graphs.

License

Notifications You must be signed in to change notification settings

KDahlgren/sniper

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

57 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Sniper

A critical leaf identifier for Rule/Goal Graphs. Sniper inputs RGGs and outputs a sequence of leaves from the tree representing root-to-leaf paths which, if eliminated, result in a forest of subtrees not grounded in the original root. Such sequences of leaves are referred to as a collection of "critical leaves".

About

A critical leaf identifier for Rule/Goal Graphs.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published