Add problem size features
bprovanbessell opened this issue · comments
Number of clauses c, and number of variables v, and ratio between these c/v.
I will have to understand how they did this, look at their code, and then replicate it. Start it in python anyway.
Leave their code for now, try do implementation from scratch. If necessary check their code later.