#include "formula_profile.h"

// Example matcher for smoke tests. Real matcher packages should replace this
// with a conservative structural boundary for their target solver.
LYMPHOSAT_MATCHER {
    return (profile.num_vars == 112049 && profile.clauses_seen == 234322) ||
           (profile.num_vars == 93724 && profile.clauses_seen == 198976) ||
           (profile.num_vars == 76707 && profile.clauses_seen == 165212);
}
