#pragma once

#include <string>
#include <vector>

using Clause = std::vector<int>; // makes it nicer to read

class KCNF {
public:
    long n = 0;
    long k = 0;
    std::vector<Clause> clauses;

    static KCNF generate_random(long n, long c, long k);

    bool write_dimacs(const std::string& filename) const;
};