Pinned Repositories
benchmark-tool
copperbench
detkdecomp
Backtracking-Based Algorithm for Computing Hypertree-Decompositions
frasmt
FraSMT: SMT-based decomposer for fractional hypertree decompositions
GPUSAT
gpusat_experiments
gtfs2graphs
htd_validate
Checker for hypertree decompositions
reprobench
📊 Reproducible Benchmark for Everyone
trellis
TREewidth LocaL Improvement Solver
daajoe's Repositories
daajoe/detkdecomp
Backtracking-Based Algorithm for Computing Hypertree-Decompositions
daajoe/gtfs2graphs
daajoe/hypergraphs
daajoe/trellis
TREewidth LocaL Improvement Solver
daajoe/claspre2
daajoe/sat_tw
daajoe/asp_encodings
daajoe/asp_param_exp
daajoe/AutoFolio
daajoe/clasp
A conflict-driven nogood learning answer set solver
daajoe/CMake
Mirror of CMake upstream repository
daajoe/dlr-filler
daajoe/google-photos-api-python-quickstart
Quickstart example of how to use Google Photos API with Python
daajoe/htd
A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
daajoe/hydras_util
daajoe/Jdrasil
A Modular Library for Computing Tree Decompositions
daajoe/minisat
A minimalistic and high-performance SAT solver
daajoe/PACE2017-TrackA
daajoe/powergrid2graphs
daajoe/powergrid_graphs
daajoe/satcnf_graphs
daajoe/sndlib2graphs
daajoe/steinerasp_graphs
daajoe/td-validate
A validity checker for tree decompositions
daajoe/transit_graphs
daajoe/treewidth-exact
daajoe/treewidth_experiments
Experiments for the treewidth local improvement solver https://github.com/daajoe/trellis
daajoe/tw_ilp_encodings
daajoe/weatherlink_data
Retrieve specified weather data from weatherlink.com and store locally in CSV format
daajoe/z3
The Z3 Theorem Prover