Add Python workflow

.github/workflows/python.yml

@@ -0,0 +1,43 @@
+name: Python
+
+# spell-checker:ignore pyproject,pydata,jakebailey
+
+on:
+  push:
+    branches: ["main"]
+    paths:
+    - 'bindings/python/**'
+    - 'pyproject.toml'
+    - 'crates/**'
+    - 'Cargo.*'
+  pull_request:
+    branches: ["main"]
+    paths:
+    - 'bindings/python/**'
+    - 'pyproject.toml'
+    - 'crates/**'
+    - 'Cargo.*'
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  lint-doc:
+    name: Lint & Doc
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - uses: actions/setup-python@v4
+    - name: Install tools & dependencies
+      run: python -m pip install --upgrade pip ruff sphinx pydata-sphinx-theme
+    - name: Build
+      run: python -m pip install .
+    - name: Ruff check
+      run: ruff check --output-format=github
+    - name: Ruff format check
+      run: ruff format --check
+    - uses: jakebailey/pyright-action@v2
+    - name: Sphinx
+      run: sphinx-build bindings/python/doc build/python-doc

bindings/python/test/bdd.py

@@ -40,10 +40,10 @@
 
 assert x1.node_count() == 3
 
-assert x1 & -x1 == ff
-assert x1 | -x1 == tt
+assert x1 & ~x1 == ff
+assert x1 | ~x1 == tt
 assert x1 ^ x1 == ff
-assert x1 ^ -x1 == tt
+assert x1 ^ ~x1 == tt
 
 M = TypeVar("M", bound=BooleanFunctionManager)