domschrei

Computer scientist at KIT (Karlsruhe), interested in SAT, Automated Planning and Linux stuff. Hobby musician and sporadic course instructor.

Karlsruhe Institute of TechnologyKarlsruhe, Germany

domschrei's Stars

ips4o/ips4o
In-place Parallel Super Scalar Samplesort (IPS⁴o)
Language:C++115 5 222
kamping-site/kamping
KaMPIng: (Near) zero-overhead MPI wrapper for modern C++
Language:C++44 5 2030
StephanGocht/incplan
Tool to do SAT Based Planning using an incremental SAT solver.
Language:C++2 3 00
marijnheule/preprocess-simple
Simple preprocessor for CNF formulas
Language:C1 3 01
patrickhegemann/pddlprinter
Convenient generation of PDDL files for automated planning
Language:Python1 1 50