atsds 0.0.3-alpha7 → 0.0.3
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 -0
- package/package.json +1 -1
package/README.md
CHANGED
|
@@ -344,6 +344,10 @@ Example programs are provided in the `examples/` directory:
|
|
|
344
344
|
|
|
345
345
|
Each example demonstrates logical inference using propositional logic axioms.
|
|
346
346
|
|
|
347
|
+
## Support Packages
|
|
348
|
+
|
|
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
|
+
|
|
347
351
|
## Development
|
|
348
352
|
|
|
349
353
|
### Code Formatting
|
package/package.json
CHANGED