Explains the conclusions of a logic program.
☆10May 25, 2023Updated 2 years ago
Alternatives and similar repositories for xclingo
Users that are interested in xclingo are comparing it to the libraries listed below
Sorting:
- A tool for explainability and debugging in Answer Set Programming.☆15Mar 25, 2025Updated 11 months ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMs☆35Feb 26, 2026Updated last week
- ☆24Feb 17, 2026Updated 2 weeks ago
- Bayesian Optimization Excutable and Visualizable Application☆10Aug 14, 2023Updated 2 years ago
- 🗝️ Rust bindings to the clingo library☆34Jan 27, 2025Updated last year
- Open Use of Data Agreement - Removing Barriers to Data Innovation☆18Aug 11, 2021Updated 4 years ago
- Searchable changelog from markdown files.☆13Feb 25, 2026Updated last week
- Cray System Management☆11Feb 9, 2026Updated 3 weeks ago
- RTS technique for .NET☆12Oct 25, 2021Updated 4 years ago
- ☆11Dec 14, 2018Updated 7 years ago
- ☆10May 24, 2021Updated 4 years ago
- A plugin for Atlassian Bitbucket (nee Stash) to allow easy, self-service continuous integration with Jenkins☆11Oct 9, 2019Updated 6 years ago
- Computational Use of Data Agreement - Removing Barriers to Data Innovation☆21Jun 12, 2023Updated 2 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- ☆11Jan 31, 2021Updated 5 years ago
- Intel oneAPI RenderKit CMake superbuild☆12Jan 13, 2026Updated last month
- Mixed graph Laplacian upscaling and solvers☆13Jan 7, 2025Updated last year
- Array Based Half-Facet (AHF) Mesh Data Structure (for simplex meshes)☆10Aug 29, 2020Updated 5 years ago
- The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games☆10Mar 11, 2020Updated 5 years ago
- ☆10Nov 3, 2016Updated 9 years ago
- Mobile Ad Hoc (MANET) simulation and analysis using OMNET++.☆11Mar 3, 2020Updated 6 years ago
- ☆11Apr 22, 2025Updated 10 months ago
- BeyondTrust Endpoint Privilege Management☆12Jun 11, 2025Updated 8 months ago
- A hackable library for running and fine-tuning modern transformer models on commodity and alternative GPUs, powered by tinygrad.☆28Feb 10, 2026Updated 3 weeks ago
- Run-time validation of tensors for machine-learning systems.☆11Apr 8, 2021Updated 4 years ago
- Fast, lightweight and cross-platform code-editor☆13Updated this week
- Experiments with reasoning models, training techniques, papers☆25Updated this week
- Hi, I'm Vanessa (vsoch, the Vanessasaurus) and this is where I write things.☆11Jan 3, 2026Updated 2 months ago
- Modern, performant, and extensible, Erlang in-memory cache☆27Jun 11, 2025Updated 8 months ago
- ☆11Jun 21, 2022Updated 3 years ago
- Transformer based Trigram Blocking implementation in Tensorflow☆11Feb 26, 2020Updated 6 years ago
- Sound synthesis with physical models - from http://taopm.sourceforge.net☆11Jun 13, 2020Updated 5 years ago
- ☆13Feb 24, 2023Updated 3 years ago
- Contains the matrix generation software and normed matrices described in "Recreating Raven's: Software for systematically generating larg…☆15Dec 4, 2023Updated 2 years ago
- This repository implements models described in ''Interpretale Word Embeddings via Informative Priors''☆11Aug 29, 2019Updated 6 years ago
- Open source static analysis toolkit for LLM agent plans☆13Aug 9, 2025Updated 6 months ago
- Auth + Google = Augle☆21Dec 6, 2019Updated 6 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 5 years ago