From c1fb74d3d93fa33312478d91204dbadf4c03623f Mon Sep 17 00:00:00 2001 From: YuhangQ Date: Sat, 13 May 2023 22:41:13 +0800 Subject: [PATCH] =?UTF-8?q?=E6=9C=80=E6=96=B0=E7=89=88=E6=9C=AC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- kissat-inc/makefile | 18 +++++++++--------- src/sharer.cpp | 2 +- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/kissat-inc/makefile b/kissat-inc/makefile index 8e4ab81..37626dd 100644 --- a/kissat-inc/makefile +++ b/kissat-inc/makefile @@ -1,17 +1,17 @@ all: - $(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" + $(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" kissat: - $(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" kissat + $(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" kissat tissat: - $(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" tissat + $(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" tissat clean: - rm -f "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc"/makefile - -$(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" clean - rm -rf "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" + rm -f "/pub/netdisk1/qianyh/Light/kissat-inc"/makefile + -$(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" clean + rm -rf "/pub/netdisk1/qianyh/Light/kissat-inc/build" coverage: - $(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" coverage + $(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" coverage indent: - $(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" indent + $(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" indent test: - $(MAKE) -C "/home/chenzh/solvers/cloud-nobug/cloud-sat/kissat-inc/build" test + $(MAKE) -C "/pub/netdisk1/qianyh/Light/kissat-inc/build" test .PHONY: all clean coverage indent kissat test tissat diff --git a/src/sharer.cpp b/src/sharer.cpp index 9922227..003585b 100644 --- a/src/sharer.cpp +++ b/src/sharer.cpp @@ -291,7 +291,7 @@ int sharer::sort_clauses(int x) { } } } - printf("c share %d lits\n", OPT(share_lits) - space); + // printf("c share %d lits\n", OPT(share_lits) - space); return (OPT(share_lits) - space) * 100 / OPT(share_lits); }