GranaSAT GITLAB for Students and Researchers 2024