https://github.com/barreeeiroo/json-logic-asp

Evaluate JSON Logic rules in Python using ASP with Clingo
https://github.com/barreeeiroo/json-logic-asp

answer-set-programming clingo json-logic

Last synced: about 2 months ago
JSON representation

Evaluate JSON Logic rules in Python using ASP with Clingo

• Host: GitHub
• URL: https://github.com/barreeeiroo/json-logic-asp
• Owner: barreeeiroo
• License: mit
• Created: 2023-12-17T22:41:37.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-07-10T03:24:11.000Z (11 months ago)
• Last Synced: 2025-04-12T12:12:12.883Z (about 2 months ago)
• Topics: answer-set-programming, clingo, json-logic
• Language: Python
• Homepage: https://json-logic-asp.readthedocs.io/
• Size: 205 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# JSON Logic ASP

[![Poetry](https://img.shields.io/endpoint?url=https://python-poetry.org/badge/v0.json)](https://github.com/barreeeiroo/JSON-Logic-ASP/blob/main/pyproject.toml)

[![CI Build](https://github.com/barreeeiroo/JSON-Logic-ASP/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/barreeeiroo/JSON-Logic-ASP/actions/workflows/ci.yml?query=branch%3Amain)

[![Read the Docs](https://readthedocs.org/projects/json-logic-asp/badge/)](https://readthedocs.org/projects/json-logic-asp/)

[![Codecov](https://codecov.io/gh/barreeeiroo/JSON-Logic-ASP/graph/badge.svg?token=O8045YHOWF)](https://codecov.io/gh/barreeeiroo/JSON-Logic-ASP)

[![Maintainability](https://api.codeclimate.com/v1/badges/f1671e07ef19696aac76/maintainability)](https://codeclimate.com/github/barreeeiroo/JSON-Logic-ASP/maintainability)

[![CodeScene Code Health](https://codescene.io/projects/48073/status-badges/code-health)](https://codescene.io/projects/48073)

[![Quality Gate Status](https://sonarcloud.io/api/project_badges/measure?project=barreeeiroo_JSON-Logic-ASP&metric=alert_status)](https://sonarcloud.io/summary/new_code?id=barreeeiroo_JSON-Logic-ASP)