A solver for package problems in CUDF format
☆27Sep 29, 2025Updated 5 months ago
Alternatives and similar repositories for aspcud
Users that are interested in aspcud are comparing it to the libraries listed below
Sorting:
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- utilities for filesystem exploration and automated builds☆21Jan 24, 2026Updated last month
- 🦮 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
- Magit extension for git-imerge☆33Jan 29, 2026Updated last month
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 4 years ago
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 10 months ago
- ⚙️ A conflict-driven nogood learning answer set solver☆140Feb 25, 2026Updated last week
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆39Feb 12, 2026Updated 3 weeks ago
- A CVRF CSAF Converter, taking care about OASIS specification.☆10Jun 4, 2025Updated 9 months ago
- Cray System Management☆11Feb 9, 2026Updated 3 weeks ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- SQLAlchemy bindings for WordPress☆13Oct 22, 2010Updated 15 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- A D-BUS client library for Common Lisp☆47Nov 4, 2023Updated 2 years ago
- Boolean Network Modeling☆40Jan 31, 2020Updated 6 years ago
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- Static analyzer for dynamics of Automata Networks☆12Feb 3, 2021Updated 5 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Roadmap for Lantern development☆12Mar 2, 2018Updated 8 years ago
- ☆11Nov 1, 2019Updated 6 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Fast and thread safe C++11 implementation of of the Aho-Corasick algorithm.☆10Mar 4, 2020Updated 6 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- ☆10Dec 26, 2018Updated 7 years ago
- Python requirements compilation☆15Feb 17, 2026Updated 2 weeks ago
- ☆10Nov 23, 2024Updated last year
- The spell program from the 10th Edition Unix system☆10Jul 12, 2020Updated 5 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Jan 28, 2021Updated 5 years ago
- Element14 bike speedometer project☆11May 20, 2022Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Create a Toxicity Chart based on metrics provided by checkstyle rules.☆10Aug 13, 2015Updated 10 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- Parallel Quantum Annealing☆10Jan 7, 2023Updated 3 years ago
- ☆56Apr 25, 2025Updated 10 months ago
- Glyph rendering engine using OpenGL shading language for Common Lisp.☆33Mar 13, 2017Updated 8 years ago
- functionality for building debs in Go. Covers similar ground to dpkg,dpkg-deb and dpkg-source☆13Oct 1, 2020Updated 5 years ago