Function ADS::satCertificate

Defined in File Problems.h

Function Documentation

inline bool ADS::satCertificate(const Cnf &F, const std::vector<bool> &x)

the certificate: x satisfies every clause

Pre:: the literals of F are variables of x