domschrei/mallob-ipasir-bridge domschrei/mallob-ipasir-bridge

  • Stars
    star
    1
  • Language
    C++
  • Created over 3 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
domschrei/mallob-ipasir-bridge
github

domschrei

Reviews

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

Repository Details

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

More Repositories

1

krunner-symbols

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

mallob

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
C++
55
star
3

lilotane

Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)
C++
27
star
4

soundsoutofbounds

A songbook about IT and computer science
TeX
16
star
5

aquaplanning

Aquaplanning QUick Automated Planning.
Java
13
star
6

isc22-mallob

Submission of Mallob to International SAT Competition 2022
Python
3
star
7

pddl_antlr_grammar

Patched and revised PDDL ANTLR v4 grammar
ANTLR
2
star
8

runwatch

Execute a set of commands under homogeneous memory, time, and CPU constraints.
C++
1
star
9

netcat-file-bridge

Mirror certain files between machines using netcat
Shell
1
star
10

impcheck

Immediate Massively Parallel Propositional Proof Checking
C
1
star
11

europar22-artifact-mallob

Software artifact for our Euro-Par 2022 paper
C++
1
star
12

KIT-SAT-LectureNotes

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

kit-ensimag-tutorial

Ein Info-Dokument fรผr KIT-Informatik-Studenten, die ein Auslandsstudium am ENSIMAG machen (mรถchten)
TeX
1
star