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
Pinned Repositories
aquaplanning
Aquaplanning QUick Automated Planning.
impcheck
Immediate Massively Parallel Propositional Proof Checking
isc22-mallob
Submission of Mallob to International SAT Competition 2022
krunner-symbols
A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.
lilotane
Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)
mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
pddl_antlr_grammar
Patched and revised PDDL ANTLR v4 grammar
runwatch
Execute a set of commands under homogeneous memory, time, and CPU constraints.
soundsoutofbounds
A songbook about IT and computer science
theresa
Theremin Sensor Application
domschrei's Repositories
domschrei/krunner-symbols
A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.
domschrei/mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
domschrei/lilotane
Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)
domschrei/isc22-mallob
Submission of Mallob to International SAT Competition 2022
domschrei/impcheck
Immediate Massively Parallel Propositional Proof Checking
domschrei/europar22-artifact-mallob
Software artifact for our Euro-Par 2022 paper
domschrei/mallob-ipasir-bridge
An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solving
domschrei/netcat-file-bridge
Mirror certain files between machines using netcat
domschrei/pdfpc
A presenter console with multi-monitor support for PDF files.
domschrei/runwatch
Execute a set of commands under homogeneous memory, time, and CPU constraints.
domschrei/sssaia
Scalable SAT Solving and its Application | Experimental data
domschrei/theresa
Theremin Sensor Application
domschrei/3dVis
3dVis by Carsten Sinz
domschrei/aws-batch-comp-infrastructure-sample
domschrei/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
domschrei/cadical
CaDiCaL SAT Solver
domschrei/drat-trim
The DRAT-trim proof checker
domschrei/hordesat
domschrei/ipc2020-domains
domschrei/ipc2023-htn.github.io
domschrei/kissat
domschrei/mallob-experimental-data
domschrei/mallob-impcheck-data
Software references and experimental data for SAT'24 submission "ImpCheck"
domschrei/mallob-incremental-experiments
Infrastructure to run incremental SAT applications with Mallob as a backend
domschrei/mallob-interface
domschrei/plotscripts
Ugly scripts for pretty plots
domschrei/preprocess-simple
Simple preprocessor for CNF formulas
domschrei/rustsat
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
domschrei/SatHelper
A tool to improve Boolean satisfiability (SAT) solver user's life
domschrei/satlive-website
SAT Live! web site