daajoe's repositories
detkdecomp
Backtracking-Based Algorithm for Computing Hypertree-Decompositions
Language:ShellGPL-3.0000
Language:PythonBSD-2-Clause000
clasp
A conflict-driven nogood learning answer set solver
Language:C++GPL-2.0000
Language:PythonGPL-3.0000
google-photos-api-python-quickstart
Quickstart example of how to use Google Photos API with Python
Language:PythonApache-2.0000
htd
A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
Language:C++GPL-3.0000
Language:PythonGPL-3.0000
Jdrasil
A Modular Library for Computing Tree Decompositions
Language:CNOASSERTION000
minisat
A minimalistic and high-performance SAT solver
Language:C++NOASSERTION000
Language:JavaMIT000
Language:PythonGPL-3.0000
GPL-3.0000
Language:PythonGPL-2.0000
GPL-3.0000
td-validate
A validity checker for tree decompositions
Language:C++MIT000
Language:CMIT000
treewidth_experiments
Experiments for the treewidth local improvement solver https://github.com/daajoe/trellis
000
GPL-3.0000
weatherlink_data
Retrieve specified weather data from weatherlink.com and store locally in CSV format
Language:Python000
z3
The Z3 Theorem Prover
Language:C++NOASSERTION000