atsds 0.0.10 → 0.0.11-alpha2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +4 -3
- package/package.json +2 -2
package/README.md
CHANGED
|
@@ -38,7 +38,7 @@ The Python package wraps the C++ core via pybind11.
|
|
|
38
38
|
pip install apyds
|
|
39
39
|
```
|
|
40
40
|
|
|
41
|
-
Requires Python 3.
|
|
41
|
+
Requires Python 3.11-3.14.
|
|
42
42
|
|
|
43
43
|
### C++ (Core Library)
|
|
44
44
|
|
|
@@ -299,7 +299,7 @@ See header files in `include/ds/` for detailed API documentation.
|
|
|
299
299
|
### Prerequisites
|
|
300
300
|
|
|
301
301
|
- For TypeScript: Emscripten SDK
|
|
302
|
-
- For Python: Python 3.
|
|
302
|
+
- For Python: Python 3.11-3.14, C++20 compatible compiler, CMake 3.30+
|
|
303
303
|
- For C++: C++20 compatible compiler, CMake 3.30+
|
|
304
304
|
|
|
305
305
|
### Build All Components
|
|
@@ -328,7 +328,7 @@ cmake --build build
|
|
|
328
328
|
npm test
|
|
329
329
|
|
|
330
330
|
# Python tests
|
|
331
|
-
pytest
|
|
331
|
+
uv run pytest
|
|
332
332
|
|
|
333
333
|
# C++ tests (if available)
|
|
334
334
|
cd build && ctest
|
|
@@ -347,6 +347,7 @@ Each example demonstrates logical inference using propositional logic axioms.
|
|
|
347
347
|
## Support Packages
|
|
348
348
|
|
|
349
349
|
- **BNF Conversion Library** ([apyds-bnf](https://pypi.org/project/apyds-bnf/), [atsds-bnf](https://www.npmjs.com/package/atsds-bnf)): Bidirectional conversion between DS syntax formats. See [/bnf](/bnf) for details.
|
|
350
|
+
- **E-Graph Library** ([apyds-egg](https://pypi.org/project/apyds-egg/)): E-Graph implementation for efficient equality reasoning. See [/egg](/egg) for details.
|
|
350
351
|
|
|
351
352
|
## Development
|
|
352
353
|
|
package/package.json
CHANGED
|
@@ -32,12 +32,12 @@
|
|
|
32
32
|
"cross-env": "^10.1.0",
|
|
33
33
|
"jest": "^30.2.0",
|
|
34
34
|
"npm-run-all": "^4.1.5",
|
|
35
|
-
"rollup": "^4.
|
|
35
|
+
"rollup": "^4.54.0",
|
|
36
36
|
"rollup-plugin-dts": "^6.3.0",
|
|
37
37
|
"ts-jest": "^29.4.6",
|
|
38
38
|
"ts-node": "^10.9.2",
|
|
39
39
|
"tslib": "^2.8.1",
|
|
40
40
|
"typescript": "^5.9.3"
|
|
41
41
|
},
|
|
42
|
-
"version": "0.0.
|
|
42
|
+
"version": "0.0.11-alpha2"
|
|
43
43
|
}
|