A lazy-grounding Answer-Set Programming system
โ64May 15, 2026Updated this week
Alternatives and similar repositories for Alpha
Users that are interested in Alpha are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DLVHEX solver: core system and plugin APIโ25Jun 13, 2019Updated 6 years ago
- ๐๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerโ69Apr 1, 2026Updated last month
- Visual Studio Code syntax highlighting for Answer Set Programmingโ13Jan 2, 2025Updated last year
- ๐ A system for probabilistic reasoning in clingoโ20Jun 24, 2024Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityโ71Jul 1, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Declarative unit testing for Answer Set Programming projectsโ12Mar 4, 2018Updated 8 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVโ24Dec 7, 2023Updated 2 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,โฆโ15Updated this week
- โ24Feb 17, 2026Updated 3 months ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.โ15Jan 4, 2022Updated 4 years ago
- ๐ค ASPRILO, an intra-logistics benchmark suite for answer set programmingโ69Feb 3, 2022Updated 4 years ago
- ๐ฆ A grounder and solver for logic programs.โ785May 7, 2026Updated last week
- ๐ Qualitative and quantitative optimization in answer set programmingโ21May 23, 2024Updated last year
- ๐ฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.โ90Jul 13, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient โข AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Handy python wrapper around Potassco's Clingo ASP solver.โ37Feb 12, 2026Updated 3 months ago
- An artificial player for the popular video game Angry Birdsโ20Aug 6, 2019Updated 6 years ago
- Clingo on the webโ45May 9, 2026Updated last week
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correctโ19Aug 19, 2024Updated last year
- An implementation of the ASPIC+ framework for structured argumentation.โ12Updated this week
- ๐ง Clingo Interactive UIโ30Updated this week
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generatorsโ13Aug 31, 2020Updated 5 years ago
- A general framework for embedding Logic Programming in complex systemsโ30Apr 20, 2026Updated last month
- ๐ธ๏ธ A visualizer for graphs defined as logic programsโ32Apr 29, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjรฆrโ16May 21, 2025Updated 11 months ago
- An inductive logic programming systemโ287May 14, 2026Updated last week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semanticsโ51Apr 6, 2026Updated last month
- LogicMOO Natural Language Understanding Kit Unified into Prologโ13Oct 2, 2021Updated 4 years ago
- Qute: a dependency learning QBF solver.โ16Mar 31, 2026Updated last month
- StarExec is a cross community logic solving serviceโ19Jun 1, 2025Updated 11 months ago
- Dynamic analysis of multithreaded C programsโ13Feb 7, 2020Updated 6 years ago
- โ23Jan 19, 2023Updated 3 years ago
- formally and easily, describe the semantics.โ13Aug 17, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer โข AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Distributed constraint satisfaction with recursive message-passing agentsโ16Dec 11, 2017Updated 8 years ago
- Library and Protรฉgรฉ plugin for generating Description Logic explanationsโ16Apr 29, 2026Updated 3 weeks ago
- A Clojure Library for the Facebook Messenger Bot API. Wiki: https://github.com/prometheus-ai/fb-messenger-clj/wikiโ13Dec 13, 2017Updated 8 years ago
- A simple ฮปProlog interpreterโ20Nov 29, 2021Updated 4 years ago
- Compress graphsโ12Jan 6, 2020Updated 6 years ago
- A Linear Program solver written in Rust.โ20Jan 22, 2026Updated 3 months ago
- A verified Implementation of a mini prologโ17Nov 27, 2022Updated 3 years ago