A lazy-grounding Answer-Set Programming system
โ65May 15, 2026Updated last month
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 7 years ago
- ๐๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerโ69Apr 1, 2026Updated 3 months ago
- Theory propagator for linear programming using clingo theory language and interface.โ11Dec 2, 2021Updated 4 years ago
- Visual Studio Code syntax highlighting for Answer Set Programmingโ13Jan 2, 2025Updated last year
- ๐ A system for probabilistic reasoning in clingoโ21Jun 24, 2024Updated 2 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.
- 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,โฆโ16Jun 13, 2026Updated 2 weeks 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โ69Jun 10, 2026Updated 2 weeks ago
- ๐ฆ A grounder and solver for logic programs.โ798Updated this week
- ๐ Qualitative and quantitative optimization in answer set programmingโ21May 23, 2024Updated 2 years ago
- ๐ฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.โ92Jul 13, 2023Updated 2 years ago
- Handy python wrapper around Potassco's Clingo ASP solver.โ36May 18, 2026Updated last month
- 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.
- Clingo on the webโ45Jun 19, 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.โ13Updated this week
- ๐ง Clingo Interactive UIโ30Jun 5, 2026Updated 3 weeks ago
- 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 2 months ago
- ๐ธ๏ธ A visualizer for graphs defined as logic programsโ33Apr 29, 2026Updated 2 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjรฆrโ16May 21, 2025Updated last year
- An inductive logic programming systemโ303Jun 15, 2026Updated 2 weeks 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.
- JMiniZincโ18Oct 13, 2020Updated 5 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semanticsโ53Apr 6, 2026Updated 2 months ago
- Schedule for ArtOfSATโ11Oct 11, 2023Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prologโ13Oct 2, 2021Updated 4 years 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
- Distributed constraint satisfaction with recursive message-passing agentsโ16Dec 11, 2017Updated 8 years ago
- Library and Protรฉgรฉ plugin for generating Description Logic explanationsโ16Jun 11, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer โข AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A compilation-friendly fexpr language. (Proof of concept.)โ24Sep 2, 2025Updated 9 months ago
- A simple ฮปProlog interpreterโ20Nov 29, 2021Updated 4 years ago
- TETR.IO replay downloader (supports Tetra League, 40 Lines, Blitz, Quick Play)โ13Nov 11, 2024Updated last year
- A Linear Program solver written in Rust.โ20Jun 16, 2026Updated 2 weeks ago
- A verified Implementation of a mini prologโ17Nov 27, 2022Updated 3 years ago
- The Flix Programming Bookโ24Updated this week
- Functional command-line JSON processor with a bidirectional type systemโ26May 18, 2025Updated last year