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:
- List of Treewidth solvers, instances, and tools☆41Sep 21, 2022Updated 3 years ago
- ☆10May 25, 2017Updated 9 years ago
- ☆12Sep 29, 2021Updated 4 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆41Apr 11, 2023Updated 3 years ago
- ☆24Feb 17, 2026Updated 6 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.
- My collection of Python tools!☆11Jan 27, 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
- High-level programming language with incremental execution and local search☆12May 19, 2025Updated last year
- ☆15Jun 14, 2025Updated last year
- The #SAT solver sharpSAT☆64Aug 28, 2022Updated 3 years ago
- 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☆168Dec 12, 2025Updated 8 months ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 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.
- ☆15May 27, 2021Updated 5 years ago
- Approximate Model Counter☆90Jul 21, 2026Updated 3 weeks ago
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 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
- ☆19Dec 2, 2025Updated 8 months ago
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 3 years ago
- 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
- 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.
- Reduce the environmental footprint of your Java software programs☆22Aug 7, 2026Updated last week
- MQTT Air quality (PM10, PM2.5) monitoring station☆11Nov 17, 2020Updated 5 years ago
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Aug 23, 2024Updated last year
- PRolog Equation Solving System☆30Sep 2, 2016Updated 9 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆38Jan 12, 2024Updated 2 years ago
- ☆44Apr 18, 2023Updated 3 years ago
- JBotSim Core Files☆25Dec 3, 2021Updated 4 years ago
- 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 10 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.
- Sorted A-Prolog with Consistency Restoring rules.☆18Mar 2, 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)…☆17May 5, 2025Updated last year
- Constraint solver based on abstract domains☆33Jul 3, 2026Updated last month
- A tool for parallel and distributed enumeration of cliques and diameter two kplexes.☆14Dec 24, 2022Updated 3 years ago
- The Flix Programming Book☆24Updated this week
- 🦉 A grounder and solver for logic programs.☆824Updated this week
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago