๐ 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