A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
☆63Jul 21, 2023Updated 2 years ago
Alternatives and similar repositories for htd
Users that are interested in htd are comparing it to the libraries listed below
Sorting:
- Submission to PACE 17☆23Jan 9, 2025Updated last year
- ☆22May 25, 2017Updated 8 years ago
- List of Treewidth solvers, instances, and tools☆37Sep 21, 2022Updated 3 years ago
- ☆10May 25, 2017Updated 8 years ago
- A Modular Library for Computing Tree Decompositions☆17Sep 26, 2024Updated last year
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- ☆24Feb 17, 2026Updated 2 weeks ago
- ☆11Sep 29, 2021Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- ☆14Jun 14, 2025Updated 8 months ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆70Jul 1, 2024Updated last year
- The Flix Programming Book☆22Updated this week
- JBotSim Core Files☆25Dec 3, 2021Updated 4 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- CUDD Decision Diagram Package☆155Dec 12, 2025Updated 2 months ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- A C++ wrapper for SCIP☆31Dec 18, 2025Updated 2 months ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- Presolve routines for mathematical optimization☆23Feb 16, 2026Updated 2 weeks ago
- The #SAT solver sharpSAT☆63Aug 28, 2022Updated 3 years ago
- Charter, TSC, and other governance documents.☆15Mar 13, 2024Updated last year
- ☆12Jan 7, 2023Updated 3 years ago
- Curso de procesamiento de imágenes con Python☆12Feb 26, 2020Updated 6 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆28Jan 24, 2022Updated 4 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- SAT Solver SATCH☆120Feb 10, 2026Updated 3 weeks ago
- Implementing Halide's TRS inside of EGG☆35Jan 20, 2023Updated 3 years ago
- PRolog Equation Solving System☆29Sep 2, 2016Updated 9 years ago
- SE(3) exponential map at zero helper for SymPy☆34May 18, 2023Updated 2 years ago
- Approximate Model Counter☆83Feb 14, 2026Updated 2 weeks ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Read and write a variety of mathematical optimization file formats☆33Feb 8, 2020Updated 6 years ago
- Proof-of-concept implementation of the (dual) simplex algorithm for linear programming in Julia.☆40Mar 24, 2013Updated 12 years ago