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 last year
- ☆12Sep 29, 2021Updated 4 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆41Apr 11, 2023Updated 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.
- ☆24Feb 17, 2026Updated 5 months ago
- High-level programming language with incremental execution and local search☆12May 19, 2025Updated last year
- ☆14Jun 14, 2025Updated last year
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 10 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- CUDD Decision Diagram Package☆167Dec 12, 2025Updated 7 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 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…☆11Dec 19, 2022Updated 3 years ago
- ☆14Feb 15, 2022Updated 4 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.
- Approximate Model Counter☆90Jul 21, 2026Updated last week
- Programming in Tabled Prolog by David S Warren☆24Mar 11, 2020Updated 6 years ago
- A Python tool to visualize geometric shapes in the native representation of hyperbolic space.☆10Nov 14, 2019Updated 6 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago
- A CP Portfolio Solver☆27Jun 25, 2026Updated last month
- Grain of Salt equation generator☆19May 6, 2022Updated 4 years ago
- CP 2015 subgraph isomorphism experiments, data and paper☆13Sep 5, 2015Updated 10 years ago
- PRolog Equation Solving System☆30Sep 2, 2016Updated 9 years ago
- ☆44Apr 18, 2023Updated 3 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.
- download and prepare a pdb file for docking wth Vina-flavoured algorithms☆13Oct 11, 2021Updated 4 years ago
- An open implementation of the MC family of maximum clique algorithms☆14Aug 4, 2016Updated 9 years ago
- Code for generative hypergraph clustering via modularity-like objective functions.☆27Jun 10, 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
- Abstract machine for formal semantics of SIMP (Simple Imperative Language)☆27Feb 21, 2021Updated 5 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)…☆17May 5, 2025Updated last year
- The Flix Programming Book☆24Jun 25, 2026Updated last month
- Code for the Kaggle 2014 Holiday Competition: Helping Santa's Helpers☆20Dec 1, 2014Updated 11 years ago
- App to change our consumption habits, fight against climate change and take part in relieving the world in hunger in our everyday life.☆30Oct 7, 2020Updated 5 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.
- A Lean4 Formalization of Polynomial Functors☆29Jul 10, 2026Updated 2 weeks ago
- equation discovery based on generative models☆22Apr 10, 2025Updated last year
- CVPR '17 Paper Collection☆10Jul 17, 2017Updated 9 years ago
- Implementation of Autoslim using Tensorflow2☆11Jun 5, 2020Updated 6 years ago
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 5 years ago
- The Pseudo-Boolean Solver MiniSat+☆29Oct 2, 2012Updated 13 years ago
- ☆15Nov 15, 2017Updated 8 years ago