A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
☆65Jul 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
- Hard-to-ground Planning Domains☆10May 10, 2024Updated 2 years ago
- List of Treewidth solvers, instances, and tools☆41Sep 21, 2022Updated 4 years ago
- ☆10May 25, 2017Updated 9 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.
- 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
- ☆25Feb 17, 2026Updated 8 months ago
- Sorted A-Prolog with Consistency Restoring rules.☆19Mar 2, 2022Updated 4 years ago
- Best First Width Search Planners☆13Dec 8, 2021Updated 4 years ago
- The INVAL plan validator, and other PDDL tools.☆24Dec 3, 2023Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 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.
- 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
- ☆12Nov 29, 2021Updated 4 years ago
- High-level programming language with incremental execution and local search☆12May 19, 2025Updated last year
- A certified checker for Datalog entailments, written in Lean☆14Oct 22, 2026Updated 2 weeks ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 6 years ago
- Temporal fast downward planner.☆12Apr 9, 2023Updated 3 years ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆21Oct 20, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An implementation of the maxflow algorithm by Yuri Boykov and Vladimir Kolmogorov.☆12Nov 26, 2014Updated 11 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago
- DBToaster OCAML code☆11Jan 19, 2022Updated 4 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Aug 23, 2024Updated 2 years ago
- Benchmarking for factorized processing☆11Jul 5, 2021Updated 5 years ago
- Approximate Model Counter☆92Oct 10, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MQTT Air quality (PM10, PM2.5) monitoring station☆11Nov 17, 2020Updated 5 years ago
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 4 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆38Jan 12, 2024Updated 2 years ago
- When is an Embedding Model More Promising than Another?, NeurIPS'24☆13Nov 11, 2024Updated last year
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- The plan validation system.☆166Oct 18, 2021Updated 5 years ago
- control JJRC H47 ELFIE+ drone and receive a colored image from it's camera☆11Aug 17, 2022Updated 4 years ago