Pinned Repositories
PapyrusTextualDiagramProvider
mallob
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
assumption-test
benchmark_runner
cordova-plugin-tcp-sockets
Cordova plugin for socket network communication
mallob_logs
oneshot-cadical
TrafficSim
Abschlussaufgabe der Veranstaltung Praxis der Multikern-Programmierung: Werkzeuge, Modelle, Sprachen im WS1819
schick's Repositories
schick/assumption-test
schick/benchmark_runner
schick/cordova-plugin-tcp-sockets
Cordova plugin for socket network communication
schick/mallob_logs
schick/oneshot-cadical
schick/TrafficSim
Abschlussaufgabe der Veranstaltung Praxis der Multikern-Programmierung: Werkzeuge, Modelle, Sprachen im WS1819