💊 Qualitative and quantitative optimization in answer set programming
☆21May 23, 2024Updated last year
Alternatives and similar repositories for asprin
Users that are interested in asprin are comparing it to the libraries listed below
Sorting:
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- ☆24Feb 17, 2026Updated 2 weeks ago
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- 🕰️ A solver for temporal programs.☆22Jun 24, 2024Updated last year
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- A lazy-grounding Answer-Set Programming system☆62Nov 22, 2025Updated 3 months ago
- 🦉 A grounder and solver for logic programs.☆754Feb 26, 2026Updated last week
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆35Feb 2, 2026Updated last month
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Collection of ASP encodings for asprilo☆22Jun 24, 2021Updated 4 years ago
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated last month
- A general framework for embedding Logic Programming in complex systems☆30Mar 30, 2024Updated last year
- ⚙️ A conflict-driven nogood learning answer set solver☆140Feb 25, 2026Updated last week
- Wikis for Knowledge Management and Learning☆13Updated this week
- MySchool (School Management System) using ASP.NET CORE WEB API with multi tenant and Angular version 18 and using JWT, Primeng and Prime…☆15Feb 24, 2026Updated last week
- just a simple audio player based React☆10Dec 8, 2022Updated 3 years ago
- Testpress Android App☆11Feb 25, 2026Updated last week
- Next platform mono repo☆11Updated this week
- An AI-powered scheduling tool designed to seamlessly manage your time by integrating with your calendar and scheduling events dynamically…☆11Oct 26, 2023Updated 2 years ago
- 🚘 Website for the Triumph Mayflower Club, launched in March 2018 #goodfirstproject #fledgelingdevswelcome☆11Sep 28, 2025Updated 5 months ago
- ☆13Oct 16, 2023Updated 2 years ago
- ChessGrinder is a chess club web application☆14Updated this week
- A simple app that allows users to stream movies and TV shows for free directly on their Android devices without ads.☆11Feb 7, 2026Updated 3 weeks ago
- An anime streaming site, built with go and Sveltekit, using docker☆13Feb 22, 2026Updated last week
- UC Merced's Official ACM Chapter Website☆12Feb 23, 2026Updated last week
- Parses drivers licenses data scanned from barcode☆10Sep 30, 2025Updated 5 months ago
- Learn everything about the Flow blockchain.☆11Apr 1, 2025Updated 11 months ago
- Jami is a simple cross-platform GUI for playing some musical instruments☆11Jul 3, 2024Updated last year
- A simple Point of Sale System that just works!☆14Dec 19, 2025Updated 2 months ago
- ☆12Feb 27, 2026Updated last week
- Proof of concept virtual MIDI keyboard for Wooting One mechanical keyboard with velocity and aftertouch☆12May 6, 2020Updated 5 years ago
- ☆10Jul 29, 2020Updated 5 years ago
- SCManagement is a web application for managing sports clubs☆11Jan 19, 2025Updated last year
- Linguistic Reconstruction with LingPy☆15Aug 5, 2024Updated last year
- MagicMirror² module for showing the availability of the city bikes around in Norway.☆10Jan 30, 2022Updated 4 years ago
- what-you-see-is-what-you-do columnar data serialization library for java☆11Sep 8, 2025Updated 5 months ago