Triangle rule may lead to error on some graphs #12

test_graph.txt

Launching the solver on the attached graph causes the code to panic. The error arises during the preprocessing of the graph. However, if one comments out the triangle rule, i.e. lines 179-215 in rule_based_reducer.rs, the error disappears.

Steps to reproduce:

• after cloning and compiling with cargo build --release --features="cli", simply run:

./target/release/arboretum-cli < test_graph.txt
thread 'main' panicked at src/solver.rs:371:33:
partial td computed after reduction rules is invalid: Not Connected
note: run with RUST_BACKTRACE=1 environment variable to display a backtrace