Beast code in Giters

marchartung's repositories

Easy3D

A lightweight, easy-to-use, and efficient C++ library for processing and rendering 3D data

GPL-3.0000

ictai2020

Data and source code used in ICTAI 2020 publication

Language:C++MIT000

ctsat

Template based SAT solver. Basic heuristics regarding branching, reduce and restart are runtime dynamic but compiled into different solver versions. Supports parallel execution using PThread and MPI

Language:C++NOASSERTION100

zib-glucose-syrup

Version of Glucose-Syrup 4.1 with advanced clause sharing and thread pinning

Language:C++NOASSERTION000

glucose_hack

Hack of Glucose 3.0

Language:C++000

glucose4_0_vivi

Glucose 4.0 solver using vivification

Language:C++NOASSERTION000

sticky

Language:C++NOASSERTION000

DataRaceBenchmark

C++ with pthread test cases for benchmarking concurrency testing

Language:C400

Actul

Automated Concurrency Tester and schedULer

Language:C++NOASSERTION100

ParallelFMU

FMI master program for Co-Simulation

Language:C++NOASSERTION1100

OneWayArrayCommunication

MPI Array ... only private use, therefore I haven't added a description.

Language:C++000

NetworkOffloader

A client/server interface for remote simulation and local visualization.

Language:C++BSD-3-Clause000

OpenModelica

OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.

Language:Makefile000