refs/heads/extabc - external/github.com/stp/stp

commit: 1e8ebd4ce2ee911cb98c048e56a04564eb3de60c
[log]
author: Mate Soos <soos.mate@gmail.com>
Sun Mar 22 23:25:30 2015
committer: Mate Soos <soos.mate@gmail.com>
Sun Mar 22 23:25:30 2015
tree: d8eeacf31929ed3bf688dfcc1e13f1b2c5cc08d8
parent: 79ddd02996337153394c910beb0c182e7cf33247 [diff]

Initial stride towards external libabc integration

Does not yet compile

CMakeLists.txt[diff]
include/stp/Simplifier/AIGSimplifyPropositionalCore.h[diff]
include/stp/ToSat/AIG/BBNodeAIG.h[diff]
include/stp/ToSat/AIG/BBNodeManagerAIG.h[diff]
include/stp/ToSat/AIG/ToCNFAIG.h[diff]
lib/CMakeLists.txt[diff]
lib/Interface/CMakeLists.txt[diff]
lib/Interface/c_interface.cpp[diff]
lib/Simplifier/AIGSimplifyPropositionalCore.cpp[Added - diff]
lib/Simplifier/CMakeLists.txt[diff]
lib/ToSat/AIG/BBNodeAIG.cpp[Added - diff]
lib/ToSat/AIG/BBNodeManagerAIG.cpp[diff]
lib/ToSat/AIG/ToCNFAIG.cpp[diff]
lib/ToSat/AIG/ToSATAIG.cpp[diff]
lib/ToSat/CMakeLists.txt[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: d8eeacf31929ed3bf688dfcc1e13f1b2c5cc08d8