test:
	g++ -std=c++20 main.cpp -I. -DVAL=$(VAL) -DTASK=$(TASK) -DPUT=$(PUT) -DNAME="\"$(NAME)\"" $(NAME)/dominating_set.cpp
	./a.out
ifneq ($(TASK), 1)
	-minisat $(NAME)/lpi0$(TASK).txt
endif

soundness:
	$(MAKE) TASK=1 VAL=1 PUT=$(PUT) NAME=$(NAME)
	read str
	$(MAKE) TASK=2 VAL=1 PUT=$(PUT) NAME=$(NAME)
	read str
	$(MAKE) TASK=3 VAL=1 PUT=$(PUT) NAME=$(NAME)
	read str
	$(MAKE) TASK=1 VAL=3 PUT=$(PUT) NAME=$(NAME)
	read str
	$(MAKE) TASK=2 VAL=3 PUT=$(PUT) NAME=$(NAME)
	read str
	$(MAKE) TASK=3 VAL=3 PUT=$(PUT) NAME=$(NAME)

