1bdfe5076c3f78e2bb7fccc5efb1a2a36c4068e6 - external/github.com/stp/stp

commit: 1bdfe5076c3f78e2bb7fccc5efb1a2a36c4068e6
[log]
author: nindanaoto <30498364+nindanaoto@users.noreply.github.com>
Fri Sep 27 20:43:02 2024
committer: GitHub <noreply@github.com>
Fri Sep 27 20:43:02 2024
tree: 355cd6094a0783e167ef8688d57459eedf822ad5
parent: 2e31fe7f1e6db59f8dce1666ce6d932df7ccf4e9 [diff]

Use ABC as submodule (#496)

.github/workflows/ci.yml[diff]
.gitmodules[Added - diff]
CMakeLists.txt[diff]
Dockerfile[diff]
include/stp/Simplifier/AIGSimplifyPropositionalCore.h[diff]
include/stp/ToSat/BBNodeAIG.h[diff]
include/stp/ToSat/BBNodeManagerAIG.h[diff]
include/stp/ToSat/ToCNFAIG.h[diff]
lib/CMakeLists.txt[diff]
lib/Interface/c_interface.cpp[diff]
lib/Interface/cpp_interface.cpp[diff]
lib/Simplifier/AIGSimplifyPropositionalCore.cpp[diff]
lib/ToSat/ToCNFAIG.cpp[diff]
lib/ToSat/ToSATAIG.cpp[diff]
lib/extlib-abc[Added - diff]
lib/extlib-abc/CMakeLists.txt[Deleted - diff]
lib/extlib-abc/aig.h[Deleted - diff]
lib/extlib-abc/aig/aig/aigCheck.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigDfs.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigFanout.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigMan.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigMem.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigMffc.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigObj.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigOper.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigOrder.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigPart.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigRepr.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigRet.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigScl.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigSeq.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigShow.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigTable.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigTime.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigTiming.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigTruth.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigTsim.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigUtil.c[Deleted - diff]
lib/extlib-abc/aig/aig/aigWin.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfCore.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfCut.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfData.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfMan.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfMap.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfPost.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfUtil.c[Deleted - diff]
lib/extlib-abc/aig/cnf/cnfWrite.c[Deleted - diff]
lib/extlib-abc/aig/dar/darBalance.c[Deleted - diff]
lib/extlib-abc/aig/dar/darCore.c[Deleted - diff]
lib/extlib-abc/aig/dar/darCut.c[Deleted - diff]
lib/extlib-abc/aig/dar/darData.c[Deleted - diff]
lib/extlib-abc/aig/dar/darLib.c[Deleted - diff]
lib/extlib-abc/aig/dar/darMan.c[Deleted - diff]
lib/extlib-abc/aig/dar/darPrec.c[Deleted - diff]
lib/extlib-abc/aig/dar/darRefact.c[Deleted - diff]
lib/extlib-abc/aig/dar/darScript.c[Deleted - diff]
lib/extlib-abc/aig/kit/kitAig.c[Deleted - diff]
lib/extlib-abc/aig/kit/kitGraph.c[Deleted - diff]
lib/extlib-abc/aig/kit/kitIsop.c[Deleted - diff]
lib/extlib-abc/aig/kit/kitSop.c[Deleted - diff]
lib/extlib-abc/aig/kit/kitTruth.c[Deleted - diff]
lib/extlib-abc/cnf.h[Deleted - diff]
lib/extlib-abc/cnf_short.h[Deleted - diff]
lib/extlib-abc/copyright.txt[Deleted - diff]
lib/extlib-abc/dar.h[Deleted - diff]
lib/extlib-abc/darInt.h[Deleted - diff]
lib/extlib-abc/kit.h[Deleted - diff]
lib/extlib-abc/leaks.h[Deleted - diff]
lib/extlib-abc/vec.h[Deleted - diff]
lib/extlib-abc/vecFlt.h[Deleted - diff]
lib/extlib-abc/vecInt.h[Deleted - diff]
lib/extlib-abc/vecPtr.h[Deleted - diff]
lib/extlib-abc/vecStr.h[Deleted - diff]
lib/extlib-abc/vecVec.h[Deleted - diff]
tools/stp/main_common.cpp[diff]

75 files changed

tree: 355cd6094a0783e167ef8688d57459eedf822ad5