There are no reviews yet. Be the first to send feedback to the community and the maintainers!
krunner-symbols
A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.lilotane
Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)soundsoutofbounds
A songbook about IT and computer scienceaquaplanning
Aquaplanning QUick Automated Planning.pddl_antlr_grammar
Patched and revised PDDL ANTLR v4 grammarrunwatch
Execute a set of commands under homogeneous memory, time, and CPU constraints.netcat-file-bridge
Mirror certain files between machines using netcatimpcheck
Immediate Massively Parallel Propositional Proof Checkingeuropar22-artifact-mallob
Software artifact for our Euro-Par 2022 papermallob-ipasir-bridge
An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solvingKIT-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)Love Open Source and this site? Check out how you can help us