sat-solver/solution.cpp

36 lines
579 B
C++

#include <stdio.h>
#include <assert.h>
#include <solution.hpp>
void solution::print()
{
switch (kind)
{
case all:
{
puts("all solutions.");
break;
}
case none:
{
puts("no solutions.");
break;
}
case specific:
{
puts("solution:");
for (unsigned i = 0; i < n; i++)
{
printf("variable %u = %i\n", i + 1, input[i]);
}
break;
}
}
}