bdf750000ec3489ca35cecca3c0fa91ef88419671e6291938519bc0d1b03c3ff  benchmark/README.md
cd8dc22ab1e2c68b5a1f4299c862bb67c37290415c3a7a7454cfa6dd0dfbf579  benchmark/check_qfbv_clause_activity_oracles.py
7e1522c223efaab4623e9f5f21cc91ebb572ff9d4bdc5319a029df7bb9b461f4  benchmark/check_qfbv_realtime_multirank_oracles.py
e9762ecc60544daf446b3c4fbf9c7de029b904c2b4bd47937dda67d17e791fe4  benchmark/install_cadical_3_0_1.sh
6e59fd89d5da03f4369df8df34f08a117dd0b8f8cb5d665087e56d7d39f33644  benchmark/run_qfbv_realtime_multirank.py
57d0c6d7a2a1160d0442b757bf66cfe3226fb80f9780e8e95513e84bdebb7e61  docs/Configuration.txt
8968a2a42a21d25f8c2e708abd2e99e5b97e651dd56c0857d879b103f1a4c000  docs/Testing.txt
4da0b0a5ad524874f4e04b3dcfd3e14c57019ea2b0619692549ffd1cc508de2a  docs/codex/Current_Technology_Compendium.md
060ff76cfae6c85f9d00b5dcfac973749bff89e9b4a3f92e584bcfd0dd093a65  docs/codex/Development_History_Traceability.md
9fa067f86d334536d38ae14259d98345e3143f3a3c993b60cedbdbc2a5fde862  docs/codex/New_Implementation_Archive.md
fb81c9547135446e24a07c1bbf3488efc0af4daffa82ed040209df7501745d9a  docs/codex/README.md
2b3bd8b3561f77bc78bd2f6c42839978598d36ffc795fdd52e78e70776c4c287  docs/codex/SOTA_Implementation_Roadmap_2026-08-14.md
3d16bcca4ddbdf2893eac4babf1a996fe7a65afa699772151e124409a1e8313e  docs/codex/diagrams/solver-context/f436_native_clause_activity.png
7bc368ca62f0c3330ddaa99439464cf09b8ebaae7664e2a6db27c09e45f04856  docs/codex/diagrams/solver-context/f436_native_clause_activity.svg
18891519484a64abfbad7574692c9920b7fc9cbdc0f472ec914535dcb3d7571c  docs/codex/research-progress/Native_Clause_Activity_and_Utility_Feedback_F436_2026-08-18.md
69fd955e7f2e1cc9d20a2a1f5ceafff35962a7ba01aa47964f2ec1b35b8eea62  docs/codex/research-progress/SOTA_Gap_Audit_After_F436_2026-08-18.md
6165319172bc230206721ffc960d2ac510202b5526817364313bc66d5cc29d49  docs/codex/verify_delivery.py
3d6f2eb5c7a5819f9d836f743f41ffbd3f94c2e5823b5ecb327c0ab9ecbbe83c  docs/generate_current_technology_index.py
c756cf7a37deeca9054ef01e4eec4e91fc6224fe703286c6fab27d1fb3bc0521  test/CMakeLists.txt
802a90a90c9dec1f18afa144aeea1da0072490048bc2d4af1091021b53386721  test/pytest-nodeids.json
d49974a96db94acc9c6b6f6ae34bc963b8942831793a8068bc529fd86371339b  test/test_qf_bv_backend.py
51207b71520c526f65cb9e679c77d10ae2ee74cffaa8ac9a0be50f06c4bba9c7  test/test_qfbv_clause_activity.py
ca02514387737e3db181effc4ebee05dafd8def95061928a388e1f5b4e5754dc  test/test_qfbv_realtime_multirank.py
c70cf54c286c34602654399408c20792148d34ca41d998908fbce308623064d9  test/test_qfbv_realtime_stream.py
3053d441b89232ecac03c6fc092ed383718a3de43e6f4fac951007461e09fbd0  util/cadical_qfbv_backend.py
4a50256b58c65db057d567c33be76df172617eb2d7b8b047f6fcee79eb6fcb39  util/qf_bv_backend.py
fd2737d995b56f4635e1bfb11b466816ce6a526c7522a7301053beec2bd2d5b1  util/qfbv_cadical_realtime.cpp
796cc93e7debf278b9cf04eac62b37e7a6df6a7df2a26e25110fdf59201c6f18  util/qfbv_multirank_evaluation.py
f840afa27ada34b6d86bd843a21f2a161e022e00107eb75da4d50b961236bf97  util/qfbv_realtime_stream.py
a49420da2a27ca22da8c26da990803256e83615382c81f9011e2858dd88f74dc  util/query_store.py
38b6a016fff095407a011d5259151128cfe132bd5ead8260c999bfe30f980cef  util/symcc_query_service.py