gitextract__x1aidr9/

├── .gitattributes
├── .github/
│   └── workflows/
│       ├── main.yml
│       └── setup_build_env.sh
├── .gitignore
├── AUTHORS
├── CHANGES.md
├── LICENSE
├── MANIFEST.in
├── Makefile
├── README.md
├── dd/
│   ├── __init__.py
│   ├── _abc.py
│   ├── _copy.py
│   ├── _parser.py
│   ├── _utils.py
│   ├── autoref.py
│   ├── bdd.py
│   ├── buddy.pyx
│   ├── buddy_.pxd
│   ├── c_sylvan.pxd
│   ├── cudd.pyx
│   ├── cudd_zdd.pyx
│   ├── dddmp.py
│   ├── mdd.py
│   ├── py.typed
│   └── sylvan.pyx
├── doc.md
├── download.py
├── examples/
│   ├── README.md
│   ├── _test_examples.py
│   ├── bdd_traversal.py
│   ├── boolean_satisfiability.py
│   ├── cudd_configure_reordering.py
│   ├── cudd_memory_limits.py
│   ├── cudd_statistics.py
│   ├── cudd_zdd.py
│   ├── good_vs_bad_variable_order.py
│   ├── install_dd_buddy.sh
│   ├── install_dd_cudd.sh
│   ├── install_dd_sylvan.sh
│   ├── json_example.py
│   ├── json_load.py
│   ├── np.py
│   ├── queens.py
│   ├── reachability.py
│   ├── reordering.py
│   ├── transfer_bdd.py
│   ├── variable_substitution.py
│   └── what_is_a_bdd.py
├── setup.py
└── tests/
    ├── .coveragerc
    ├── README.md
    ├── autoref_test.py
    ├── bdd_test.py
    ├── common.py
    ├── common_bdd.py
    ├── common_cudd.py
    ├── copy_test.py
    ├── cudd_test.py
    ├── cudd_zdd_test.py
    ├── dddmp_test.py
    ├── inspect_cython_signatures.py
    ├── iterative_recursive_flattener.py
    ├── mdd_test.py
    ├── parser_test.py
    ├── pytest.ini
    ├── regressions_test.py
    └── sylvan_test.py