LaTeX package for showing timelines

Data repository for my blog series on microprocessor trend data.

My collection of Python tools!

A command-line benchmarking tool

A simple Bluetooth Speaker Daemon for the Raspberry Pi 3

Read numbers from sudoku image

sequential and parallel SAT solver

A shell script to coordinate QBF preprocessors

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

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

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

A Modular Library for Computing Tree Decompositions

additional statistics for clasp

Dynamic Programming Framework with Local Execution of ASP on Tree Decompositions

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

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

IntelliJ IDEA & IntelliJ Platform