domschrei/mallob

Stars
55
Rank 535,854 (Top 11 %)
Language
C++
License
GNU Lesser Genera...
Created about 5 years ago
Updated about 2 months ago

domschrei/mallob

domschrei

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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)

soundsoutofbounds

A songbook about IT and computer science

aquaplanning

Aquaplanning QUick Automated Planning.

isc22-mallob

Submission of Mallob to International SAT Competition 2022

pddl_antlr_grammar

Patched and revised PDDL ANTLR v4 grammar

runwatch

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

netcat-file-bridge

Mirror certain files between machines using netcat

impcheck

Immediate Massively Parallel Propositional Proof Checking

europar22-artifact-mallob

Software artifact for our Euro-Par 2022 paper

mallob-ipasir-bridge

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

KIT-SAT-LectureNotes

Lecture Notes for the lecture "Practical SAT Solving" held at Karlsruhe Institute of Technology (KIT)

kit-ensimag-tutorial

Ein Info-Dokument für KIT-Informatik-Studenten, die ein Auslandsstudium am ENSIMAG machen (möchten)