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/GPUSAT
daajoe/frasmt
FraSMT: SMT-based decomposer for fractional hypertree decompositions
daajoe/htd_validate
Checker for hypertree decompositions
daajoe/benchmark-tool
daajoe/sat2vc
sat2vc transforms SAT instances into VC instances.
daajoe/sat_horn_backdoors
daajoe/copperbench
daajoe/gpusat_experiments
daajoe/mc_validate
daajoe/reprobench
📊 Reproducible Benchmark for Everyone
daajoe/asp_horn_backdoors
daajoe/asp_micer
daajoe/dynasp
daajoe/dynasp_experiments
Experiments for the dynasp solver
daajoe/graph_converters
daajoe/LaTeX-proposal
The Proposal package for LaTeX
daajoe/mccompetition.org
daajoe/pace2019_vc_instances
Original Instances for the PACE2019 Challenge
daajoe/pdfjinja
This is my fork of pdfjinja. I am not the author of this library.
daajoe/pyHanko
pyHanko: sign and stamp PDF files
daajoe/runsolver
runsolver by Olivier ROUSSEL
daajoe/runsolver_cg
daajoe/sattimeleap
daajoe/sharp
daajoe/sharptrace
A trace checker for #SAT traces
daajoe/signxml
Python XML Signature and XAdES library
daajoe/sudoku
Read numbers from sudoku image
daajoe/thp_docker_build
daajoe/tud_fbs
daajoe/wcs2asp-1