GitHub repository: stjomd/hexmc
Primary language: Java
Created: 2023-06-01T22:26:42Z
Description: #SAT solver implemented as part of my bachelor thesis at TU Wien.