statusfailed / cartographer-string-diagrammatic-reasoning

statusfailed/cartographer-string-diagrammatic-reasoning Issues

Export diagrams functionality
Updated 5 years ago
Dockerfile
Updated 5 years ago
Rust version
Updated 5 years ago
"Untwist" rewrite rule causes cycle in graph - bug in convexity check?
Updated 5 years ago
Layout.rewriteLayout doesn't always preserve layering invariant, even in convex matches
Closed 5 years ago1