tests.hpp

#include"polynoms.hpp"
#include"formulas.hpp"

namespace Kirill
{
	Polynom generate_polynom(int size, int seed);
	void test(int size, int seed);
	void DNF_test_desideability(int size, int seed, int polynom_size);
}