sat-solver/problem.cpp

#include <problem.hpp>

problem::problem(
    unsigned number_of_variables_):
        number_of_variables(number_of_variables_)
{
    ;
}