RL4CP This is the code for the HEGL Praktikum "Reinforcement Learning for Finding Counterexamples in Graph Theory" in Universitiy Heidelberg in SoSe 2023.