EmbASP is a framework for the integration of Logic Programming in external systems
Project description
EmbASP - Python Version
EmbASP is a framework for the integration of Logic Programming in external systems for generic applications, conceived in order to help developers at designing and implementing complex reasoning tasks by means of logic-based solvers on different platforms.
We currently provide 3 implementations (in Java, in Python and in C# ) and ready-made libraries for the embedding of the ASP (Answer Set Programming) solvers DLV, clingo and DLV2 and the PDDL (Planning Domain Definition Language) cloud solver Solver.Planning.Domains (SPD) on the Desktop platform and of DLV, DLV2 and SPD on the Mobile (Android™) one (available only for the Java version). The Java version requires the antlr4 library.
The framework has been designed to be easily extensible and adaptable to different solvers and platforms. Solvers can be invoked in different modes; for instance, SPD is invoked via a remote connection, while for the other, binaries are effectively embedded and natively executed.
Contacts
For further information, visit https://www.mat.unical.it/calimeri/projects/embasp
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file embasp-python-8.1.3.tar.gz.
File metadata
- Download URL: embasp-python-8.1.3.tar.gz
- Upload date:
- Size: 50.5 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/4.0.2 CPython/3.11.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2bcd1113850911808db4270f92789e357e9f6ac21b0fbc6c21a0a0ed73de3683
|
|
| MD5 |
10d33964b25eb3669fdb104d6175578f
|
|
| BLAKE2b-256 |
4cfabf8300ee15aef669a310bf9c5d32e317deea64ee405bce7f81459b629421
|
File details
Details for the file embasp_python-8.1.3-py3-none-any.whl.
File metadata
- Download URL: embasp_python-8.1.3-py3-none-any.whl
- Upload date:
- Size: 87.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/4.0.2 CPython/3.11.7
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
491448f921e75f8e62fc8f95293ff4687af9cc997bde2577a34745ecab46a215
|
|
| MD5 |
0058c15253547fe9fe9fb133f9cd3b77
|
|
| BLAKE2b-256 |
2a416c00b6e17259efeb85b23449824aaedc256e7cb11f40c01fff3122ede77a
|
