daajoe

hyperfine

A command-line benchmarking tool

intellij-community

IntelliJ IDEA Community Edition & IntelliJ Platform

microprocessor-trend-data

Data repository for my blog series on microprocessor trend data.

bt-speaker

A simple Bluetooth Speaker Daemon for the Raspberry Pi 3

htd

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

depqbf

DepQBF, a solver for quantified boolean formulae (QBF).

wasp

maven-latex-plugin

Jdrasil

A Modular Library for Computing Tree Decompositions

timeline

LaTeX package for showing timelines

python

My collection of Python tools!

dflat

Dynamic Programming Framework with Local Execution of ASP on Tree Decompositions

riss-solver

sequential and parallel SAT solver

copperbench

dynqbf

An expansion-based QBF solver for instances of low-to-medium treewidth.

htd

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

hypergraphs

qbfrelay

A shell script to coordinate QBF preprocessors

exst

additional statistics for clasp

GPUSAT

sudoku

Read numbers from sudoku image

sharp

Source code of the sharp library (libsharp) for dynamic programming on hypertree decompositions: http://dbai.tuwien.ac.at/proj/sharp/