013 GitHub stars
02Bidirectional reasoning for both forward-looking and backward-outcome analysis
03Parallel execution wave generation to maximize development velocity
04Automated detection of architectural tensions and unresolved requirement conflicts
05Critical path identification to highlight high-risk dependencies
06Visual constraint networking via ASCII or GraphViz DOT exports