├── .claude └── settings.local.json ├── .gitignore ├── .vscode └── launch.json ├── AGENTS.md ├── CHANGELOG.md ├── CLAUDE.md ├── Cargo.toml ├── LICENSE ├── README.md ├── api ├── .env ├── Cargo.toml ├── README.md └── src │ └── main.rs ├── benches └── bench-solve.rs ├── bex.code-workspace ├── bex.leo ├── doc ├── bex-types.vue ├── dependencies.vue ├── factorbench.org ├── ft-nid-notes.org ├── howto.org ├── notation.org ├── outline.org ├── scaffold.ipynb ├── scaffold_graph_tests.py ├── swap-rc.vue ├── var-orders.org ├── wipbase.org ├── workers.org └── workstate.vue ├── examples ├── README.md ├── shell │ ├── bex-shell.rs │ └── swarm-shell.rs └── solve │ ├── bdd-solve.rs │ └── factor-p.rs ├── ffi ├── CMakeLists.txt ├── Cargo.toml ├── cbindgen.toml └── src │ └── lib.rs ├── plans.org ├── py ├── Cargo.toml ├── README.md ├── and-or.svg ├── bex │ ├── __init__.py │ └── dd.py ├── dd-test.sh ├── dd_bex_tests.py ├── go.sh ├── pyproject.toml ├── src │ ├── lib.rs │ └── py.rs └── test.py ├── run-api.sh ├── src ├── anf.rs ├── apl.rs ├── ast.rs ├── base.rs ├── bdd.rs ├── bdd │ ├── bdd-json.rs │ ├── bdd_sols.rs │ └── bdd_swarm.rs ├── cur.rs ├── fun.rs ├── int.rs ├── io.rs ├── lib.rs ├── naf.rs ├── nid-fun.rs ├── nid.rs ├── ops.rs ├── reg.rs ├── simp.rs ├── solve.rs ├── sql.rs ├── swap.rs ├── swarm.rs ├── test-bdd.rs ├── test-swap-scaffold.rs ├── test-swap.rs ├── tmp.rs ├── vhl.rs ├── vhl_swarm.rs ├── vid.rs └── wip.rs └── viewbex.html /.claude/settings.local.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/.claude/settings.local.json -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /AGENTS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/AGENTS.md -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CLAUDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/CLAUDE.md -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/README.md -------------------------------------------------------------------------------- /api/.env: -------------------------------------------------------------------------------- 1 | HOST=127.0.0.1 2 | PORT=3030 -------------------------------------------------------------------------------- /api/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/api/Cargo.toml -------------------------------------------------------------------------------- /api/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/api/README.md -------------------------------------------------------------------------------- /api/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/api/src/main.rs -------------------------------------------------------------------------------- /benches/bench-solve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/benches/bench-solve.rs -------------------------------------------------------------------------------- /bex.code-workspace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/bex.code-workspace -------------------------------------------------------------------------------- /bex.leo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/bex.leo -------------------------------------------------------------------------------- /doc/bex-types.vue: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/bex-types.vue -------------------------------------------------------------------------------- /doc/dependencies.vue: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/dependencies.vue -------------------------------------------------------------------------------- /doc/factorbench.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/factorbench.org -------------------------------------------------------------------------------- /doc/ft-nid-notes.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/ft-nid-notes.org -------------------------------------------------------------------------------- /doc/howto.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/howto.org -------------------------------------------------------------------------------- /doc/notation.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/notation.org -------------------------------------------------------------------------------- /doc/outline.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/outline.org -------------------------------------------------------------------------------- /doc/scaffold.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/scaffold.ipynb -------------------------------------------------------------------------------- /doc/scaffold_graph_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/scaffold_graph_tests.py -------------------------------------------------------------------------------- /doc/swap-rc.vue: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/swap-rc.vue -------------------------------------------------------------------------------- /doc/var-orders.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/var-orders.org -------------------------------------------------------------------------------- /doc/wipbase.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/wipbase.org -------------------------------------------------------------------------------- /doc/workers.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/workers.org -------------------------------------------------------------------------------- /doc/workstate.vue: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/doc/workstate.vue -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/shell/bex-shell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/examples/shell/bex-shell.rs -------------------------------------------------------------------------------- /examples/shell/swarm-shell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/examples/shell/swarm-shell.rs -------------------------------------------------------------------------------- /examples/solve/bdd-solve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/examples/solve/bdd-solve.rs -------------------------------------------------------------------------------- /examples/solve/factor-p.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/examples/solve/factor-p.rs -------------------------------------------------------------------------------- /ffi/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/ffi/CMakeLists.txt -------------------------------------------------------------------------------- /ffi/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/ffi/Cargo.toml -------------------------------------------------------------------------------- /ffi/cbindgen.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/ffi/cbindgen.toml -------------------------------------------------------------------------------- /ffi/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/ffi/src/lib.rs -------------------------------------------------------------------------------- /plans.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/plans.org -------------------------------------------------------------------------------- /py/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/Cargo.toml -------------------------------------------------------------------------------- /py/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/README.md -------------------------------------------------------------------------------- /py/and-or.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/and-or.svg -------------------------------------------------------------------------------- /py/bex/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/bex/__init__.py -------------------------------------------------------------------------------- /py/bex/dd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/bex/dd.py -------------------------------------------------------------------------------- /py/dd-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/dd-test.sh -------------------------------------------------------------------------------- /py/dd_bex_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/dd_bex_tests.py -------------------------------------------------------------------------------- /py/go.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/go.sh -------------------------------------------------------------------------------- /py/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/pyproject.toml -------------------------------------------------------------------------------- /py/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/src/lib.rs -------------------------------------------------------------------------------- /py/src/py.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/src/py.rs -------------------------------------------------------------------------------- /py/test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/py/test.py -------------------------------------------------------------------------------- /run-api.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | cd api && cargo run 3 | -------------------------------------------------------------------------------- /src/anf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/anf.rs -------------------------------------------------------------------------------- /src/apl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/apl.rs -------------------------------------------------------------------------------- /src/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/ast.rs -------------------------------------------------------------------------------- /src/base.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/base.rs -------------------------------------------------------------------------------- /src/bdd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/bdd.rs -------------------------------------------------------------------------------- /src/bdd/bdd-json.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/bdd/bdd-json.rs -------------------------------------------------------------------------------- /src/bdd/bdd_sols.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/bdd/bdd_sols.rs -------------------------------------------------------------------------------- /src/bdd/bdd_swarm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/bdd/bdd_swarm.rs -------------------------------------------------------------------------------- /src/cur.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/cur.rs -------------------------------------------------------------------------------- /src/fun.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/fun.rs -------------------------------------------------------------------------------- /src/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/int.rs -------------------------------------------------------------------------------- /src/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/io.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/naf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/naf.rs -------------------------------------------------------------------------------- /src/nid-fun.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/nid-fun.rs -------------------------------------------------------------------------------- /src/nid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/nid.rs -------------------------------------------------------------------------------- /src/ops.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/ops.rs -------------------------------------------------------------------------------- /src/reg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/reg.rs -------------------------------------------------------------------------------- /src/simp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/simp.rs -------------------------------------------------------------------------------- /src/solve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/solve.rs -------------------------------------------------------------------------------- /src/sql.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/sql.rs -------------------------------------------------------------------------------- /src/swap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/swap.rs -------------------------------------------------------------------------------- /src/swarm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/swarm.rs -------------------------------------------------------------------------------- /src/test-bdd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/test-bdd.rs -------------------------------------------------------------------------------- /src/test-swap-scaffold.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/test-swap-scaffold.rs -------------------------------------------------------------------------------- /src/test-swap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/test-swap.rs -------------------------------------------------------------------------------- /src/tmp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/tmp.rs -------------------------------------------------------------------------------- /src/vhl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/vhl.rs -------------------------------------------------------------------------------- /src/vhl_swarm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/vhl_swarm.rs -------------------------------------------------------------------------------- /src/vid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/vid.rs -------------------------------------------------------------------------------- /src/wip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/src/wip.rs -------------------------------------------------------------------------------- /viewbex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tangentstorm/bex/HEAD/viewbex.html --------------------------------------------------------------------------------