daajoe/htd_validate daajoe/htd_validate

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Python
  • License
    GNU General Publi...
  • Created almost 7 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
daajoe/htd_validate
github

daajoe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Checker for hypertree decompositions

More Repositories

1

GPUSAT

C++
11
star
2

frasmt

FraSMT: SMT-based decomposer for fractional hypertree decompositions
Python
7
star
3

benchmark-tool

Python
3
star
4

detkdecomp

Backtracking-Based Algorithm for Computing Hypertree-Decompositions
C++
3
star
5

hypergraphs

Python
2
star
6

trellis

TREewidth LocaL Improvement Solver
CMake
2
star
7

gtfs2graphs

Python
2
star
8

sat_horn_backdoors

Python
1
star
9

sat2vc

sat2vc transforms SAT instances into VC instances.
Python
1
star
10

claspre2

C++
1
star
11

sat_tw

Python
1
star
12

mc2021

1
star