Optional to address.

[jackraymond]

N=75 means that the number of clauses has to be rounded when rho=2.1. Would be tidier to choose rho such that rho*N is integer.

Rescaling the x-axis to (H(s)+rhoN)/4 could make the presentation a bit more intuitive. The x-axis labeling could then be "Number of violated clauses ([H(s) + rhoN/4])", or "Number of violated clauses ([Energy + rho*N/4])"

The example begins with a definition of a clause as a disjuction (appropriate for SAT), but the usage of clause in the rest of the repository is for NAE3SAT (which cannot be written as a disjunction). Might be better to define 'A clause as a logical function of the literals (in the case of SAT a disjunction x1 v x2)'