GitHub repository: Badr-MOUFAD/Fercoq-Bianchi-solver
Primary language: Cython
Description: A clone of https://bitbucket.org/ofercoq/cd_solver/src/master/