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:
- ☆22May 25, 2017Updated 9 years ago
- ☆10May 25, 2017Updated 9 years ago
- A Modular Library for Computing Tree Decompositions☆17Sep 26, 2024Updated last year
- ☆12Sep 29, 2021Updated 4 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆41Apr 11, 2023Updated 3 years 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.
- ☆25Feb 17, 2026Updated 6 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
- ☆15Jun 14, 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☆169Dec 12, 2025Updated 8 months ago
- LaTeX package for showing timelines☆14Feb 28, 2023Updated 3 years ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 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
- 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.
- ☆14Feb 15, 2022Updated 4 years ago
- ☆15May 27, 2021Updated 5 years ago
- An extension of the Fast Downward planning system with state-of-the-art algorithms☆21Updated this week
- Approximate Model Counter☆90Aug 19, 2026Updated 2 weeks ago
- Can you go outside? Check SCAREDI-PI - the Simple Covid Ambient Reminder E-Ink Display for (Raspberry) Pi☆13Nov 27, 2020Updated 5 years ago
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- Disjoint CBSH and IDCBS integrated with LPA* and other incremental techniques☆11Apr 17, 2021Updated 5 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- Set of tools and data to compute all known invariants for simple connected graphs☆15Jun 19, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A CP Portfolio Solver☆27Jun 25, 2026Updated 2 months ago
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 3 years ago
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago
- Internet radio browser plugin for rhythmbox☆13Jun 15, 2011Updated 15 years ago
- CP 2015 subgraph isomorphism experiments, data and paper☆13Sep 5, 2015Updated 11 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
- MLIR dialect for libgccjit☆24Dec 3, 2024Updated last year
- Java program that parses OSM XML files into a json graph representation.☆12Nov 12, 2017Updated 8 years ago
- ☆44Apr 18, 2023Updated 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.
- JBotSim Core Files☆25Dec 3, 2021Updated 4 years ago
- repo of dot files for bash article examples☆16Jul 1, 2020Updated 6 years ago
- Code for generative hypergraph clustering via modularity-like objective functions.☆27Jun 10, 2022Updated 4 years ago
- Sorted A-Prolog with Consistency Restoring rules.☆18Mar 2, 2022Updated 4 years ago
- Linear-time sampling algorithm for geometric inhomogeneous random graphs with a special case implementation for hyperbolic random graphs.☆16Dec 4, 2023Updated 2 years ago
- control JJRC H47 ELFIE+ drone and receive a colored image from it's camera☆11Aug 17, 2022Updated 4 years ago
- Graph that downloads patent citation data from USPTO's PatentsView API on-demand and stores it locally in an SQL database (and in memory)…☆16May 5, 2025Updated last year