A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
☆66Jul 21, 2023Updated 3 years ago
Alternatives and similar repositories for htd
Users that are interested in htd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Submission to PACE 17☆24Jan 9, 2025Updated last year
- ☆22May 25, 2017Updated 9 years ago
- A Modular Library for Computing Tree Decompositions☆17Sep 26, 2024Updated 2 years ago
- ☆12Sep 29, 2021Updated 5 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆42Apr 11, 2023Updated 3 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.
- ☆25Feb 17, 2026Updated 8 months ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆28Jul 13, 2023Updated 3 years ago
- A collection of interesting files for testing CSG engines in OpenSCAD file format.☆12Aug 22, 2025Updated last year
- High-level programming language with incremental execution and local search☆12May 19, 2025Updated last year
- The #SAT solver sharpSAT☆64Aug 28, 2022Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- CUDD Decision Diagram Package☆171Dec 12, 2025Updated 10 months ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 6 years ago
- KaPoCE is a framework for solving the cluster editing problem that asks to transform an input graph into a cluster graph (a disjoint unio…☆10Dec 19, 2022Updated 3 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.
- ☆14Feb 15, 2022Updated 4 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆21Oct 10, 2026Updated last week
- ☆15May 27, 2021Updated 5 years ago
- Approximate Model Counter☆91Oct 10, 2026Updated last week
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- A CP Portfolio Solver☆27Jun 25, 2026Updated 3 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years 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.
- CP 2015 subgraph isomorphism experiments, data and paper☆13Sep 5, 2015Updated 11 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆38Jan 12, 2024Updated 2 years ago
- PRolog Equation Solving System☆30Sep 2, 2016Updated 10 years ago
- Java program that parses OSM XML files into a json graph representation.☆12Nov 12, 2017Updated 8 years ago
- ☆44Apr 18, 2023Updated 3 years ago
- JBotSim Core Files☆25Dec 3, 2021Updated 4 years ago
- Sorted A-Prolog with Consistency Restoring rules.☆19Mar 2, 2022Updated 4 years ago
- Linear-time sampling algorithm for geometric inhomogeneous random graphs with a special case implementation for hyperbolic random graphs.☆17Dec 4, 2023Updated 2 years ago
- Constraint solver based on abstract domains☆33Jul 3, 2026Updated 3 months 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.
- Abstract machine for formal semantics of SIMP (Simple Imperative Language)☆27Feb 21, 2021Updated 5 years ago
- A tool for parallel and distributed enumeration of cliques and diameter two kplexes.☆15Dec 24, 2022Updated 3 years ago
- ☆12Nov 17, 2018Updated 7 years ago
- 🦉 A grounder and solver for logic programs.☆851Updated this week
- LAPKT public repository☆44Aug 2, 2026Updated 2 months ago
- Exact optimization for cost function networks and additive graphical models☆68Updated this week
- A Python library for evaluating planners and other solvers.☆36Sep 11, 2026Updated last month