GitHub repository: JonathanErhard/float-sat
Primary language: C++
Created: 2024-10-28T10:39:07Z
Description: FloatSat project at the university of würzburg