Heraclid SAT-Solver