Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.
☆29Jun 17, 2026Updated last month
Alternatives and similar repositories for Answer-Set-Programming-Algorithms
Users that are interested in Answer-Set-Programming-Algorithms are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated 2 years ago
- A DND card generator for all your adventures. Demo at https://dndfetch.netlify.com and powered by https://www.dnd5eapi.co/☆14Dec 3, 2022Updated 3 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆36May 18, 2026Updated 2 months ago
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 9 months 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.
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- Reading schedule and our library of pdfs☆24Apr 29, 2019Updated 7 years ago
- ☆12Feb 6, 2023Updated 3 years ago
- Trial Reasoner for AI that Learns☆18Sep 17, 2025Updated 10 months ago
- A summary of ideas about transpilation -- work in progress☆23Jun 2, 2023Updated 3 years ago
- Convert regular expressions to trigram queries in the spirit of Google's codesearch.☆24Jun 10, 2023Updated 3 years ago
- Teaches Claude to use a dozen visualization-building tools — raster, SVG, web, video, terminal, interactive, gaze plots, heatmaps, scienc…☆19Updated this week
- ⛓️ Extension of clingo to handle constraints over integers☆36May 7, 2026Updated 2 months ago
- deep learning for math☆30May 4, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Code for FormulaNet in NIPS 2017☆32Apr 10, 2018Updated 8 years ago
- [ICLR 2026] Official repository for the paper "LaSeR: Reinforcement Learning with Last-Token Self-Rewarding"☆36Oct 28, 2025Updated 8 months ago
- ☆11Oct 26, 2022Updated 3 years ago
- OpenCL version of Kaktwoos; Mine cacti with 0xA presses☆10Jun 16, 2022Updated 4 years ago
- Refazer: Learning Program Transformations from Examples☆30Mar 25, 2018Updated 8 years ago
- "Science is what we understand well enough to explain to a computer; art is everything else." ― Donald E. Knuth☆39Jun 9, 2020Updated 6 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Compile simple Shadertoys into small .COM MS-DOS executables☆10May 13, 2024Updated 2 years ago
- Minecraft VillagerShops on SpongePowered☆10May 9, 2021Updated 5 years 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.
- Vim environment for authoring, compiling, and debugging Inform7 based interactive fiction works.☆11Aug 22, 2020Updated 5 years ago
- program synthesis is possible☆40Sep 28, 2019Updated 6 years ago
- Scalable implementation of Lee / Mykland (2012), Ait-Sahalia / Jacod (2012) and Ait-Sahalia / Jacod / Li (2012) Jump tests for noisy hig…☆13Jan 21, 2022Updated 4 years ago
- Implementation of HindSight Experience Replay paper with Pytorch☆31Apr 28, 2021Updated 5 years ago
- ☆39May 13, 2026Updated 2 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆16Jul 14, 2026Updated last week
- Spotify music control plugin for https://github.com/SteamDeckHomebrew/decky-loader☆31Aug 7, 2024Updated last year
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- A SCSI to ethernet board☆13Nov 19, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Multiplayer interactive fiction system based on Inform 7☆11Jun 24, 2026Updated last month
- Arduino Leonardo sketch for SOUND VOLTEX, DanceDanceRevolution, and pop'n music controllers (or any device with up to 9 buttons or 7 butt…☆10Jul 20, 2022Updated 4 years ago
- The Kodi remote app for KaiOS.☆16Aug 21, 2023Updated 2 years ago
- Robot Poncots (ロボポン) Sun and Star (Japanese)☆13Apr 26, 2026Updated 3 months ago
- Demovibes radio backend☆13May 24, 2020Updated 6 years ago
- Some brush-based tools for creating terrains in Unity. WIP☆13Sep 17, 2021Updated 4 years ago
- ☆13May 10, 2022Updated 4 years ago