all:
	$(MAKE) -C "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build"
kissat:
	$(MAKE) -C "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build" kissat
tissat:
	$(MAKE) -C "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build" tissat
clean:
	rm -f "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack"/makefile
	rm -f "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack"/src/makefile
	-$(MAKE) -C "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build" clean
	rm -rf "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build"
coverage:
	$(MAKE) -C "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build" coverage
format:
	$(MAKE) -C "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build" format
test:
	$(MAKE) -C "/home/iser/Documents/satcomp/satcomp2026/solvers/oertel/satsuma-lex-ae-kissat-mab/src/kissat-hack/build" test
.PHONY: all clean coverage format kissat test tissat
