Giters
Dominik Schreiber (domschrei)

domschrei

Geek Repo

26

followers

0

following

5

stars

Company:Karlsruhe Institute of Technology

Location:Karlsruhe, Germany

Home Page:https://www.dominikschreiber.de

Github PK Tool:Github PK Tool

Dominik Schreiber's repositories

krunner-symbols

A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.

Language:C++License:GPL-3.0Stargazers:118Issues:11Issues:15

mallob

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.

Language:C++License:LGPL-3.0Stargazers:60Issues:5Issues:11

lilotane

Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)

Language:C++License:GPL-3.0Stargazers:28Issues:3Issues:8

isc22-mallob

Submission of Mallob to International SAT Competition 2022

Language:PythonLicense:MIT-0Stargazers:3Issues:2Issues:0

impcheck

Immediate Massively Parallel Propositional Proof Checking

Language:CLicense:MITStargazers:2Issues:3Issues:0

europar22-artifact-mallob

Software artifact for our Euro-Par 2022 paper

Language:C++Stargazers:1Issues:2Issues:0

mallob-ipasir-bridge

An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solving

Language:C++Stargazers:1Issues:2Issues:3

netcat-file-bridge

Mirror certain files between machines using netcat

Language:ShellStargazers:1Issues:2Issues:0

pdfpc

A presenter console with multi-monitor support for PDF files.

Language:ValaLicense:GPL-3.0Stargazers:1Issues:1Issues:0

runwatch

Execute a set of commands under homogeneous memory, time, and CPU constraints.

Language:C++Stargazers:1Issues:2Issues:0

theresa

Theremin Sensor Application

Language:C++License:GPL-3.0Stargazers:0Issues:2Issues:0

3dVis

3dVis by Carsten Sinz

Language:C++License:BSD-3-ClauseStargazers:0Issues:1Issues:0

aws-batch-comp-infrastructure-sample

Language:PythonLicense:MIT-0Stargazers:0Issues:1Issues:0

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”.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:1Issues:0

cadical

CaDiCaL SAT Solver

Language:C++License:MITStargazers:0Issues:1Issues:0

drat-trim

The DRAT-trim proof checker

Language:CLicense:MITStargazers:0Issues:1Issues:0

hordesat

Language:C++License:MITStargazers:0Issues:1Issues:0

ipc2020-domains

Language:Common LispStargazers:0Issues:1Issues:0

ipc2023-htn.github.io

Language:SCSSStargazers:0Issues:1Issues:0

kissat

Language:CLicense:MITStargazers:0Issues:1Issues:0

mallob-experimental-data

Language:AssemblyStargazers:0Issues:2Issues:0

mallob-impcheck-data

Software references and experimental data for SAT'24 submission "ImpCheck"

Language:ShellStargazers:0Issues:2Issues:0

mallob-incremental-experiments

Infrastructure to run incremental SAT applications with Mallob as a backend

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

mallob-interface

Language:JavaStargazers:0Issues:1Issues:0

plotscripts

Ugly scripts for pretty plots

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

preprocess-simple

Simple preprocessor for CNF formulas

Language:CStargazers:0Issues:1Issues:0

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.

Language:RustLicense:MITStargazers:0Issues:0Issues:0

SatHelper

A tool to improve Boolean satisfiability (SAT) solver user's life

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

satlive-website

SAT Live! web site

Language:HTMLStargazers:0Issues:0Issues:0

sssaia

Scalable SAT Solving and its Application | Experimental data

Language:AssemblyStargazers:0Issues:2Issues:0