Python library for running logic programs on dlv solver via semi structured json/dictionary
- Install library using pip:
python3 -m pip install git+https://github.com/andreachiera/[email protected]
- Use library in Python. (Examples in file run.py)
-
Notifications
You must be signed in to change notification settings - Fork 0
DLVPY: Python library for running logic programs on dlv solver via semi structured json/dictionary
License
andreachiera/dlvpy
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
DLVPY: Python library for running logic programs on dlv solver via semi structured json/dictionary
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published