| load("@rules_cc//cc:cc_binary.bzl", "cc_binary") |
| load("@rules_cc//cc:cc_library.bzl", "cc_library") |
| |
| licenses(["notice"]) |
| |
| exports_files(["LICENSE"]) |
| |
| # This list is generated by calling "make cmake_info" and incorporating the files |
| # between the SEPARATOR_SRC blocks |
| # (for f in $(make cmake_info | grep SEPARATOR_SRC) ; do echo " \"$f\"," ; done) | sort | tail -n +3 |
| SRCS = [ |
| "src/aig/aig/aigCanon.c", |
| "src/aig/aig/aigCheck.c", |
| "src/aig/aig/aigCuts.c", |
| "src/aig/aig/aigDfs.c", |
| "src/aig/aig/aigDup.c", |
| "src/aig/aig/aigFanout.c", |
| "src/aig/aig/aigFrames.c", |
| "src/aig/aig/aigInter.c", |
| "src/aig/aig/aigJust.c", |
| "src/aig/aig/aigMan.c", |
| "src/aig/aig/aigMem.c", |
| "src/aig/aig/aigMffc.c", |
| "src/aig/aig/aigObj.c", |
| "src/aig/aig/aigOper.c", |
| "src/aig/aig/aigOrder.c", |
| "src/aig/aig/aigPack.c", |
| "src/aig/aig/aigPart.c", |
| "src/aig/aig/aigPartReg.c", |
| "src/aig/aig/aigPartSat.c", |
| "src/aig/aig/aigRepr.c", |
| "src/aig/aig/aigRet.c", |
| "src/aig/aig/aigRetF.c", |
| "src/aig/aig/aigScl.c", |
| "src/aig/aig/aigShow.c", |
| "src/aig/aig/aigSplit.c", |
| "src/aig/aig/aigTable.c", |
| "src/aig/aig/aigTiming.c", |
| "src/aig/aig/aigTruth.c", |
| "src/aig/aig/aigTsim.c", |
| "src/aig/aig/aigUtil.c", |
| "src/aig/aig/aigWin.c", |
| "src/aig/gia/giaAgi.c", |
| "src/aig/gia/giaAig.c", |
| "src/aig/gia/giaAiger.c", |
| "src/aig/gia/giaAigerExt.c", |
| "src/aig/gia/giaBalAig.c", |
| "src/aig/gia/giaBalLut.c", |
| "src/aig/gia/giaBalMap.c", |
| "src/aig/gia/giaBidec.c", |
| "src/aig/gia/giaBound.c", |
| "src/aig/gia/giaBsFind.c", |
| "src/aig/gia/giaCCof.c", |
| "src/aig/gia/giaCex.c", |
| "src/aig/gia/giaClp.c", |
| "src/aig/gia/giaCof.c", |
| "src/aig/gia/giaCone.c", |
| "src/aig/gia/giaCSat.c", |
| "src/aig/gia/giaCSat2.c", |
| "src/aig/gia/giaCSat3.c", |
| "src/aig/gia/giaCSatOld.c", |
| "src/aig/gia/giaCSatP.c", |
| "src/aig/gia/giaCTas.c", |
| "src/aig/gia/giaCut.c", |
| "src/aig/gia/giaDecs.c", |
| "src/aig/gia/giaDeep.c", |
| "src/aig/gia/giaDfs.c", |
| "src/aig/gia/giaDup.c", |
| "src/aig/gia/giaEdge.c", |
| "src/aig/gia/giaEmbed.c", |
| "src/aig/gia/giaEnable.c", |
| "src/aig/gia/giaEquiv.c", |
| "src/aig/gia/giaEra.c", |
| "src/aig/gia/giaEra2.c", |
| "src/aig/gia/giaEsop.c", |
| "src/aig/gia/giaExist.c", |
| "src/aig/gia/giaFalse.c", |
| "src/aig/gia/giaFanout.c", |
| "src/aig/gia/giaForce.c", |
| "src/aig/gia/giaFrames.c", |
| "src/aig/gia/giaFront.c", |
| "src/aig/gia/giaFx.c", |
| "src/aig/gia/giaGen.c", |
| "src/aig/gia/giaGig.c", |
| "src/aig/gia/giaGlitch.c", |
| "src/aig/gia/giaHash.c", |
| "src/aig/gia/giaIf.c", |
| "src/aig/gia/giaIff.c", |
| "src/aig/gia/giaIiff.c", |
| "src/aig/gia/giaIso.c", |
| "src/aig/gia/giaIso2.c", |
| "src/aig/gia/giaIso3.c", |
| "src/aig/gia/giaJf.c", |
| "src/aig/gia/giaKf.c", |
| "src/aig/gia/giaLf.c", |
| "src/aig/gia/giaMan.c", |
| "src/aig/gia/giaMem.c", |
| "src/aig/gia/giaMf.c", |
| "src/aig/gia/giaMfs.c", |
| "src/aig/gia/giaMini.c", |
| "src/aig/gia/giaMinLut.c", |
| "src/aig/gia/giaMinLut2.c", |
| "src/aig/gia/giaMulFind.c", |
| "src/aig/gia/giaMuxes.c", |
| "src/aig/gia/giaNf.c", |
| "src/aig/gia/giaOf.c", |
| "src/aig/gia/giaPack.c", |
| "src/aig/gia/giaPat.c", |
| "src/aig/gia/giaPat2.c", |
| "src/aig/gia/giaPf.c", |
| "src/aig/gia/giaQbf.c", |
| "src/aig/gia/giaReshape1.c", |
| "src/aig/gia/giaReshape2.c", |
| "src/aig/gia/giaResub.c", |
| "src/aig/gia/giaResub2.c", |
| "src/aig/gia/giaResub3.c", |
| "src/aig/gia/giaResub6.c", |
| "src/aig/gia/giaRetime.c", |
| "src/aig/gia/giaRex.c", |
| "src/aig/gia/giaRrr.cpp", |
| "src/aig/gia/giaSat3.c", |
| "src/aig/gia/giaSatEdge.c", |
| "src/aig/gia/giaSatLE.c", |
| "src/aig/gia/giaSatLut.c", |
| "src/aig/gia/giaSatMap.c", |
| "src/aig/gia/giaSatoko.c", |
| "src/aig/gia/giaSatSyn.c", |
| "src/aig/gia/giaScl.c", |
| "src/aig/gia/giaScript.c", |
| "src/aig/gia/giaShow.c", |
| "src/aig/gia/giaShrink.c", |
| "src/aig/gia/giaShrink6.c", |
| "src/aig/gia/giaShrink7.c", |
| "src/aig/gia/giaSif.c", |
| "src/aig/gia/giaSim.c", |
| "src/aig/gia/giaSim2.c", |
| "src/aig/gia/giaSimBase.c", |
| "src/aig/gia/giaSort.c", |
| "src/aig/gia/giaSpeedup.c", |
| "src/aig/gia/giaSplit.c", |
| "src/aig/gia/giaStg.c", |
| "src/aig/gia/giaStoch.c", |
| "src/aig/gia/giaStr.c", |
| "src/aig/gia/giaSupMin.c", |
| "src/aig/gia/giaSupp.c", |
| "src/aig/gia/giaSupps.c", |
| "src/aig/gia/giaSweep.c", |
| "src/aig/gia/giaSweeper.c", |
| "src/aig/gia/giaSwitch.c", |
| "src/aig/gia/giaTim.c", |
| "src/aig/gia/giaTis.c", |
| "src/aig/gia/giaTransduction.cpp", |
| "src/aig/gia/giaTranStoch.c", |
| "src/aig/gia/giaTruth.c", |
| "src/aig/gia/giaTsim.c", |
| "src/aig/gia/giaTtopt.cpp", |
| "src/aig/gia/giaUnate.c", |
| "src/aig/gia/giaUtil.c", |
| "src/aig/hop/hopBalance.c", |
| "src/aig/hop/hopCheck.c", |
| "src/aig/hop/hopDfs.c", |
| "src/aig/hop/hopMan.c", |
| "src/aig/hop/hopMem.c", |
| "src/aig/hop/hopObj.c", |
| "src/aig/hop/hopOper.c", |
| "src/aig/hop/hopTable.c", |
| "src/aig/hop/hopTruth.c", |
| "src/aig/hop/hopUtil.c", |
| "src/aig/ioa/ioaReadAig.c", |
| "src/aig/ioa/ioaUtil.c", |
| "src/aig/ioa/ioaWriteAig.c", |
| "src/aig/ivy/ivyBalance.c", |
| "src/aig/ivy/ivyCanon.c", |
| "src/aig/ivy/ivyCheck.c", |
| "src/aig/ivy/ivyCut.c", |
| "src/aig/ivy/ivyCutTrav.c", |
| "src/aig/ivy/ivyDfs.c", |
| "src/aig/ivy/ivyDsd.c", |
| "src/aig/ivy/ivyFanout.c", |
| "src/aig/ivy/ivyFastMap.c", |
| "src/aig/ivy/ivyFraig.c", |
| "src/aig/ivy/ivyHaig.c", |
| "src/aig/ivy/ivyMan.c", |
| "src/aig/ivy/ivyMem.c", |
| "src/aig/ivy/ivyMulti.c", |
| "src/aig/ivy/ivyObj.c", |
| "src/aig/ivy/ivyOper.c", |
| "src/aig/ivy/ivyResyn.c", |
| "src/aig/ivy/ivyRwr.c", |
| "src/aig/ivy/ivySeq.c", |
| "src/aig/ivy/ivyShow.c", |
| "src/aig/ivy/ivyTable.c", |
| "src/aig/ivy/ivyUtil.c", |
| "src/aig/saig/saigCone.c", |
| "src/aig/saig/saigConstr.c", |
| "src/aig/saig/saigConstr2.c", |
| "src/aig/saig/saigDual.c", |
| "src/aig/saig/saigDup.c", |
| "src/aig/saig/saigInd.c", |
| "src/aig/saig/saigIoa.c", |
| "src/aig/saig/saigIso.c", |
| "src/aig/saig/saigIsoFast.c", |
| "src/aig/saig/saigIsoSlow.c", |
| "src/aig/saig/saigMiter.c", |
| "src/aig/saig/saigOutDec.c", |
| "src/aig/saig/saigPhase.c", |
| "src/aig/saig/saigRetFwd.c", |
| "src/aig/saig/saigRetMin.c", |
| "src/aig/saig/saigRetStep.c", |
| "src/aig/saig/saigScl.c", |
| "src/aig/saig/saigSimFast.c", |
| "src/aig/saig/saigSimMv.c", |
| "src/aig/saig/saigSimSeq.c", |
| "src/aig/saig/saigStrSim.c", |
| "src/aig/saig/saigSwitch.c", |
| "src/aig/saig/saigSynch.c", |
| "src/aig/saig/saigTempor.c", |
| "src/aig/saig/saigTrans.c", |
| "src/aig/saig/saigWnd.c", |
| "src/base/abc/abcAig.c", |
| "src/base/abc/abcBarBuf.c", |
| "src/base/abc/abcBlifMv.c", |
| "src/base/abc/abcCheck.c", |
| "src/base/abc/abcDfs.c", |
| "src/base/abc/abcFanio.c", |
| "src/base/abc/abcFanOrder.c", |
| "src/base/abc/abcFunc.c", |
| "src/base/abc/abcHie.c", |
| "src/base/abc/abcHieCec.c", |
| "src/base/abc/abcHieGia.c", |
| "src/base/abc/abcHieNew.c", |
| "src/base/abc/abcLatch.c", |
| "src/base/abc/abcLib.c", |
| "src/base/abc/abcMinBase.c", |
| "src/base/abc/abcNames.c", |
| "src/base/abc/abcNetlist.c", |
| "src/base/abc/abcNtk.c", |
| "src/base/abc/abcObj.c", |
| "src/base/abc/abcRefs.c", |
| "src/base/abc/abcShow.c", |
| "src/base/abc/abcSop.c", |
| "src/base/abc/abcUtil.c", |
| "src/base/abci/abc.c", |
| "src/base/abci/abcAttach.c", |
| "src/base/abci/abcAuto.c", |
| "src/base/abci/abcBalance.c", |
| "src/base/abci/abcBidec.c", |
| "src/base/abci/abcBm.c", |
| "src/base/abci/abcBmc.c", |
| "src/base/abci/abcCas.c", |
| "src/base/abci/abcCascade.c", |
| "src/base/abci/abcCollapse.c", |
| "src/base/abci/abcCut.c", |
| "src/base/abci/abcDar.c", |
| "src/base/abci/abcDebug.c", |
| "src/base/abci/abcDec.c", |
| "src/base/abci/abcDetect.c", |
| "src/base/abci/abcDress.c", |
| "src/base/abci/abcDress2.c", |
| "src/base/abci/abcDress3.c", |
| "src/base/abci/abcDsd.c", |
| "src/base/abci/abcEco.c", |
| "src/base/abci/abcExact.c", |
| "src/base/abci/abcExtract.c", |
| "src/base/abci/abcFraig.c", |
| "src/base/abci/abcFx.c", |
| "src/base/abci/abcFxu.c", |
| "src/base/abci/abcGen.c", |
| "src/base/abci/abcHaig.c", |
| "src/base/abci/abcIf.c", |
| "src/base/abci/abcIfif.c", |
| "src/base/abci/abcIfMux.c", |
| "src/base/abci/abcIvy.c", |
| "src/base/abci/abcLog.c", |
| "src/base/abci/abcLut.c", |
| "src/base/abci/abcLutmin.c", |
| "src/base/abci/abcMap.c", |
| "src/base/abci/abcMerge.c", |
| "src/base/abci/abcMfs.c", |
| "src/base/abci/abcMini.c", |
| "src/base/abci/abcMiter.c", |
| "src/base/abci/abcMulti.c", |
| "src/base/abci/abcNpn.c", |
| "src/base/abci/abcNpnSave.c", |
| "src/base/abci/abcNtbdd.c", |
| "src/base/abci/abcOdc.c", |
| "src/base/abci/abcOrchestration.c", |
| "src/base/abci/abcOrder.c", |
| "src/base/abci/abcPart.c", |
| "src/base/abci/abcPrint.c", |
| "src/base/abci/abcProve.c", |
| "src/base/abci/abcQbf.c", |
| "src/base/abci/abcQuant.c", |
| "src/base/abci/abcReach.c", |
| "src/base/abci/abcRec3.c", |
| "src/base/abci/abcReconv.c", |
| "src/base/abci/abcRefactor.c", |
| "src/base/abci/abcRenode.c", |
| "src/base/abci/abcReorder.c", |
| "src/base/abci/abcRestruct.c", |
| "src/base/abci/abcResub.c", |
| "src/base/abci/abcRewrite.c", |
| "src/base/abci/abcRpo.c", |
| "src/base/abci/abcRr.c", |
| "src/base/abci/abcRunGen.c", |
| "src/base/abci/abcSat.c", |
| "src/base/abci/abcSaucy.c", |
| "src/base/abci/abcScorr.c", |
| "src/base/abci/abcSense.c", |
| "src/base/abci/abcSpeedup.c", |
| "src/base/abci/abcStrash.c", |
| "src/base/abci/abcSweep.c", |
| "src/base/abci/abcSymm.c", |
| "src/base/abci/abcTim.c", |
| "src/base/abci/abcTiming.c", |
| "src/base/abci/abcUnate.c", |
| "src/base/abci/abcUnreach.c", |
| "src/base/abci/abcVerify.c", |
| "src/base/abci/abcXsim.c", |
| "src/base/acb/acbAbc.c", |
| "src/base/acb/acbAig.c", |
| "src/base/acb/acbCom.c", |
| "src/base/acb/acbFunc.c", |
| "src/base/acb/acbMfs.c", |
| "src/base/acb/acbPush.c", |
| "src/base/acb/acbSets.c", |
| "src/base/acb/acbTest.c", |
| "src/base/acb/acbUtil.c", |
| "src/base/bac/bacBac.c", |
| "src/base/bac/bacBlast.c", |
| "src/base/bac/bacCom.c", |
| "src/base/bac/bacLib.c", |
| "src/base/bac/bacNtk.c", |
| "src/base/bac/bacPrsBuild.c", |
| "src/base/bac/bacPrsTrans.c", |
| "src/base/bac/bacPtr.c", |
| "src/base/bac/bacPtrAbc.c", |
| "src/base/bac/bacReadBlif.c", |
| "src/base/bac/bacReadSmt.c", |
| "src/base/bac/bacReadVer.c", |
| "src/base/bac/bacWriteBlif.c", |
| "src/base/bac/bacWriteSmt.c", |
| "src/base/bac/bacWriteVer.c", |
| "src/base/cba/cbaBlast.c", |
| "src/base/cba/cbaCba.c", |
| "src/base/cba/cbaCom.c", |
| "src/base/cba/cbaNtk.c", |
| "src/base/cba/cbaReadBlif.c", |
| "src/base/cba/cbaReadVer.c", |
| "src/base/cba/cbaWriteBlif.c", |
| "src/base/cba/cbaWriteVer.c", |
| "src/base/cmd/cmd.c", |
| "src/base/cmd/cmdAlias.c", |
| "src/base/cmd/cmdApi.c", |
| "src/base/cmd/cmdAuto.c", |
| "src/base/cmd/cmdFlag.c", |
| "src/base/cmd/cmdHist.c", |
| "src/base/cmd/cmdLoad.c", |
| "src/base/cmd/cmdPlugin.c", |
| "src/base/cmd/cmdStarter.c", |
| "src/base/cmd/cmdUtils.c", |
| "src/base/exor/exor.c", |
| "src/base/exor/exorBits.c", |
| "src/base/exor/exorCubes.c", |
| "src/base/exor/exorLink.c", |
| "src/base/exor/exorList.c", |
| "src/base/exor/exorUtil.c", |
| "src/base/io/io.c", |
| "src/base/io/ioJson.c", |
| "src/base/io/ioJsonc.c", |
| "src/base/io/ioReadAiger.c", |
| "src/base/io/ioReadBaf.c", |
| "src/base/io/ioReadBblif.c", |
| "src/base/io/ioReadBench.c", |
| "src/base/io/ioReadBlif.c", |
| "src/base/io/ioReadBlifAig.c", |
| "src/base/io/ioReadBlifMv.c", |
| "src/base/io/ioReadDsd.c", |
| "src/base/io/ioReadEdif.c", |
| "src/base/io/ioReadEqn.c", |
| "src/base/io/ioReadPla.c", |
| "src/base/io/ioReadPlaMo.c", |
| "src/base/io/ioReadVerilog.c", |
| "src/base/io/ioUtil.c", |
| "src/base/io/ioWriteAiger.c", |
| "src/base/io/ioWriteBaf.c", |
| "src/base/io/ioWriteBblif.c", |
| "src/base/io/ioWriteBench.c", |
| "src/base/io/ioWriteBlif.c", |
| "src/base/io/ioWriteBlifMv.c", |
| "src/base/io/ioWriteBook.c", |
| "src/base/io/ioWriteCnf.c", |
| "src/base/io/ioWriteDot.c", |
| "src/base/io/ioWriteEdgelist.c", |
| "src/base/io/ioWriteEqn.c", |
| "src/base/io/ioWriteGml.c", |
| "src/base/io/ioWriteHMetis.c", |
| "src/base/io/ioWriteList.c", |
| "src/base/io/ioWritePla.c", |
| "src/base/io/ioWriteSmv.c", |
| "src/base/io/ioWriteVerilog.c", |
| "src/base/main/libSupport.c", |
| "src/base/main/main.c", |
| "src/base/main/mainFrame.c", |
| "src/base/main/mainInit.c", |
| "src/base/main/mainLib.c", |
| "src/base/main/mainReal.c", |
| "src/base/main/mainUtils.c", |
| "src/base/pla/plaCom.c", |
| "src/base/pla/plaHash.c", |
| "src/base/pla/plaMan.c", |
| "src/base/pla/plaMerge.c", |
| "src/base/pla/plaRead.c", |
| "src/base/pla/plaSimple.c", |
| "src/base/pla/plaWrite.c", |
| "src/base/test/test.c", |
| "src/base/ver/verCore.c", |
| "src/base/ver/verFormula.c", |
| "src/base/ver/verParse.c", |
| "src/base/ver/verStream.c", |
| "src/base/wlc/wlcAbc.c", |
| "src/base/wlc/wlcAbs.c", |
| "src/base/wlc/wlcAbs2.c", |
| "src/base/wlc/wlcBlast.c", |
| "src/base/wlc/wlcCom.c", |
| "src/base/wlc/wlcGraft.c", |
| "src/base/wlc/wlcJson.c", |
| "src/base/wlc/wlcMem.c", |
| "src/base/wlc/wlcNdr.c", |
| "src/base/wlc/wlcNtk.c", |
| "src/base/wlc/wlcPth.c", |
| "src/base/wlc/wlcReadSmt.c", |
| "src/base/wlc/wlcReadVer.c", |
| "src/base/wlc/wlcShow.c", |
| "src/base/wlc/wlcSim.c", |
| "src/base/wlc/wlcStdin.c", |
| "src/base/wlc/wlcUif.c", |
| "src/base/wlc/wlcWin.c", |
| "src/base/wlc/wlcWriteVer.c", |
| "src/base/wln/wln.c", |
| "src/base/wln/wlnBlast.c", |
| "src/base/wln/wlnCom.c", |
| "src/base/wln/wlnGuide.c", |
| "src/base/wln/wlnMem.c", |
| "src/base/wln/wlnNdr.c", |
| "src/base/wln/wlnNtk.c", |
| "src/base/wln/wlnObj.c", |
| "src/base/wln/wlnRead.c", |
| "src/base/wln/wlnRetime.c", |
| "src/base/wln/wlnRtl.c", |
| "src/base/wln/wlnWlc.c", |
| "src/base/wln/wlnWriteVer.c", |
| "src/bdd/bbr/bbrCex.c", |
| "src/bdd/bbr/bbrImage.c", |
| "src/bdd/bbr/bbrNtbdd.c", |
| "src/bdd/bbr/bbrReach.c", |
| "src/bdd/cas/casCore.c", |
| "src/bdd/cas/casDec.c", |
| "src/bdd/cudd/cuddAddAbs.c", |
| "src/bdd/cudd/cuddAddApply.c", |
| "src/bdd/cudd/cuddAddFind.c", |
| "src/bdd/cudd/cuddAddInv.c", |
| "src/bdd/cudd/cuddAddIte.c", |
| "src/bdd/cudd/cuddAddNeg.c", |
| "src/bdd/cudd/cuddAddWalsh.c", |
| "src/bdd/cudd/cuddAndAbs.c", |
| "src/bdd/cudd/cuddAnneal.c", |
| "src/bdd/cudd/cuddApa.c", |
| "src/bdd/cudd/cuddAPI.c", |
| "src/bdd/cudd/cuddApprox.c", |
| "src/bdd/cudd/cuddBddAbs.c", |
| "src/bdd/cudd/cuddBddCorr.c", |
| "src/bdd/cudd/cuddBddIte.c", |
| "src/bdd/cudd/cuddBridge.c", |
| "src/bdd/cudd/cuddCache.c", |
| "src/bdd/cudd/cuddCheck.c", |
| "src/bdd/cudd/cuddClip.c", |
| "src/bdd/cudd/cuddCof.c", |
| "src/bdd/cudd/cuddCompose.c", |
| "src/bdd/cudd/cuddDecomp.c", |
| "src/bdd/cudd/cuddEssent.c", |
| "src/bdd/cudd/cuddExact.c", |
| "src/bdd/cudd/cuddExport.c", |
| "src/bdd/cudd/cuddGenCof.c", |
| "src/bdd/cudd/cuddGenetic.c", |
| "src/bdd/cudd/cuddGroup.c", |
| "src/bdd/cudd/cuddHarwell.c", |
| "src/bdd/cudd/cuddInit.c", |
| "src/bdd/cudd/cuddInteract.c", |
| "src/bdd/cudd/cuddLCache.c", |
| "src/bdd/cudd/cuddLevelQ.c", |
| "src/bdd/cudd/cuddLinear.c", |
| "src/bdd/cudd/cuddLiteral.c", |
| "src/bdd/cudd/cuddMatMult.c", |
| "src/bdd/cudd/cuddPriority.c", |
| "src/bdd/cudd/cuddRead.c", |
| "src/bdd/cudd/cuddRef.c", |
| "src/bdd/cudd/cuddReorder.c", |
| "src/bdd/cudd/cuddSat.c", |
| "src/bdd/cudd/cuddSign.c", |
| "src/bdd/cudd/cuddSolve.c", |
| "src/bdd/cudd/cuddSplit.c", |
| "src/bdd/cudd/cuddSubsetHB.c", |
| "src/bdd/cudd/cuddSubsetSP.c", |
| "src/bdd/cudd/cuddSymmetry.c", |
| "src/bdd/cudd/cuddTable.c", |
| "src/bdd/cudd/cuddUtil.c", |
| "src/bdd/cudd/cuddWindow.c", |
| "src/bdd/cudd/cuddZddCount.c", |
| "src/bdd/cudd/cuddZddFuncs.c", |
| "src/bdd/cudd/cuddZddGroup.c", |
| "src/bdd/cudd/cuddZddIsop.c", |
| "src/bdd/cudd/cuddZddLin.c", |
| "src/bdd/cudd/cuddZddMisc.c", |
| "src/bdd/cudd/cuddZddPort.c", |
| "src/bdd/cudd/cuddZddReord.c", |
| "src/bdd/cudd/cuddZddSetop.c", |
| "src/bdd/cudd/cuddZddSymm.c", |
| "src/bdd/cudd/cuddZddUtil.c", |
| "src/bdd/dsd/dsdApi.c", |
| "src/bdd/dsd/dsdCheck.c", |
| "src/bdd/dsd/dsdLocal.c", |
| "src/bdd/dsd/dsdMan.c", |
| "src/bdd/dsd/dsdProc.c", |
| "src/bdd/dsd/dsdTree.c", |
| "src/bdd/epd/epd.c", |
| "src/bdd/extrab/extraBddAuto.c", |
| "src/bdd/extrab/extraBddCas.c", |
| "src/bdd/extrab/extraBddImage.c", |
| "src/bdd/extrab/extraBddKmap.c", |
| "src/bdd/extrab/extraBddMaxMin.c", |
| "src/bdd/extrab/extraBddMisc.c", |
| "src/bdd/extrab/extraBddSet.c", |
| "src/bdd/extrab/extraBddSymm.c", |
| "src/bdd/extrab/extraBddThresh.c", |
| "src/bdd/extrab/extraBddTime.c", |
| "src/bdd/extrab/extraBddUnate.c", |
| "src/bdd/llb/llb1Cluster.c", |
| "src/bdd/llb/llb1Constr.c", |
| "src/bdd/llb/llb1Core.c", |
| "src/bdd/llb/llb1Group.c", |
| "src/bdd/llb/llb1Hint.c", |
| "src/bdd/llb/llb1Man.c", |
| "src/bdd/llb/llb1Matrix.c", |
| "src/bdd/llb/llb1Pivot.c", |
| "src/bdd/llb/llb1Reach.c", |
| "src/bdd/llb/llb1Sched.c", |
| "src/bdd/llb/llb2Bad.c", |
| "src/bdd/llb/llb2Core.c", |
| "src/bdd/llb/llb2Driver.c", |
| "src/bdd/llb/llb2Dump.c", |
| "src/bdd/llb/llb2Flow.c", |
| "src/bdd/llb/llb2Image.c", |
| "src/bdd/llb/llb3Image.c", |
| "src/bdd/llb/llb3Nonlin.c", |
| "src/bdd/llb/llb4Cex.c", |
| "src/bdd/llb/llb4Image.c", |
| "src/bdd/llb/llb4Nonlin.c", |
| "src/bdd/llb/llb4Sweep.c", |
| "src/bdd/mtr/mtrBasic.c", |
| "src/bdd/mtr/mtrGroup.c", |
| "src/bdd/reo/reoApi.c", |
| "src/bdd/reo/reoCore.c", |
| "src/bdd/reo/reoProfile.c", |
| "src/bdd/reo/reoShuffle.c", |
| "src/bdd/reo/reoSift.c", |
| "src/bdd/reo/reoSwap.c", |
| "src/bdd/reo/reoTransfer.c", |
| "src/bdd/reo/reoUnits.c", |
| "src/bool/bdc/bdcCore.c", |
| "src/bool/bdc/bdcDec.c", |
| "src/bool/bdc/bdcSpfd.c", |
| "src/bool/bdc/bdcTable.c", |
| "src/bool/dec/decAbc.c", |
| "src/bool/dec/decFactor.c", |
| "src/bool/dec/decMan.c", |
| "src/bool/dec/decPrint.c", |
| "src/bool/dec/decUtil.c", |
| "src/bool/kit/cloud.c", |
| "src/bool/kit/kitAig.c", |
| "src/bool/kit/kitBdd.c", |
| "src/bool/kit/kitCloud.c", |
| "src/bool/kit/kitDsd.c", |
| "src/bool/kit/kitFactor.c", |
| "src/bool/kit/kitGraph.c", |
| "src/bool/kit/kitHop.c", |
| "src/bool/kit/kitIsop.c", |
| "src/bool/kit/kitPla.c", |
| "src/bool/kit/kitSop.c", |
| "src/bool/kit/kitTruth.c", |
| "src/bool/lucky/lucky.c", |
| "src/bool/lucky/luckyFast16.c", |
| "src/bool/lucky/luckyFast6.c", |
| "src/bool/lucky/luckyRead.c", |
| "src/bool/lucky/luckySimple.c", |
| "src/bool/lucky/luckySwap.c", |
| "src/bool/lucky/luckySwapIJ.c", |
| "src/bool/rpo/rpo.c", |
| "src/bool/rsb/rsbDec6.c", |
| "src/bool/rsb/rsbMan.c", |
| "src/map/amap/amapCore.c", |
| "src/map/amap/amapGraph.c", |
| "src/map/amap/amapLib.c", |
| "src/map/amap/amapLiberty.c", |
| "src/map/amap/amapMan.c", |
| "src/map/amap/amapMatch.c", |
| "src/map/amap/amapMerge.c", |
| "src/map/amap/amapOutput.c", |
| "src/map/amap/amapParse.c", |
| "src/map/amap/amapPerm.c", |
| "src/map/amap/amapRead.c", |
| "src/map/amap/amapRule.c", |
| "src/map/amap/amapUniq.c", |
| "src/map/cov/covBuild.c", |
| "src/map/cov/covCore.c", |
| "src/map/cov/covMan.c", |
| "src/map/cov/covMinEsop.c", |
| "src/map/cov/covMinMan.c", |
| "src/map/cov/covMinSop.c", |
| "src/map/cov/covMinUtil.c", |
| "src/map/if/acd/ac_wrapper.cpp", |
| "src/map/if/ifCache.c", |
| "src/map/if/ifCom.c", |
| "src/map/if/ifCore.c", |
| "src/map/if/ifCut.c", |
| "src/map/if/ifData2.c", |
| "src/map/if/ifDec07.c", |
| "src/map/if/ifDec08.c", |
| "src/map/if/ifDec10.c", |
| "src/map/if/ifDec16.c", |
| "src/map/if/ifDec66.c", |
| "src/map/if/ifDec75.c", |
| "src/map/if/ifDelay.c", |
| "src/map/if/ifDsd.c", |
| "src/map/if/ifLibBox.c", |
| "src/map/if/ifLibLut.c", |
| "src/map/if/ifMan.c", |
| "src/map/if/ifMap.c", |
| "src/map/if/ifMatch2.c", |
| "src/map/if/ifReduce.c", |
| "src/map/if/ifSat.c", |
| "src/map/if/ifSelect.c", |
| "src/map/if/ifSeq.c", |
| "src/map/if/ifTest.c", |
| "src/map/if/ifTime.c", |
| "src/map/if/ifTruth.c", |
| "src/map/if/ifTune.c", |
| "src/map/if/ifUtil.c", |
| "src/map/mapper/mapper.c", |
| "src/map/mapper/mapperCanon.c", |
| "src/map/mapper/mapperCore.c", |
| "src/map/mapper/mapperCreate.c", |
| "src/map/mapper/mapperCut.c", |
| "src/map/mapper/mapperCutUtils.c", |
| "src/map/mapper/mapperLib.c", |
| "src/map/mapper/mapperMatch.c", |
| "src/map/mapper/mapperRefs.c", |
| "src/map/mapper/mapperSuper.c", |
| "src/map/mapper/mapperSwitch.c", |
| "src/map/mapper/mapperTable.c", |
| "src/map/mapper/mapperTime.c", |
| "src/map/mapper/mapperTree.c", |
| "src/map/mapper/mapperTruth.c", |
| "src/map/mapper/mapperUtils.c", |
| "src/map/mapper/mapperVec.c", |
| "src/map/mio/mio.c", |
| "src/map/mio/mioApi.c", |
| "src/map/mio/mioFunc.c", |
| "src/map/mio/mioParse.c", |
| "src/map/mio/mioRead.c", |
| "src/map/mio/mioSop.c", |
| "src/map/mio/mioUtils.c", |
| "src/map/mpm/mpmAbc.c", |
| "src/map/mpm/mpmCore.c", |
| "src/map/mpm/mpmDsd.c", |
| "src/map/mpm/mpmGates.c", |
| "src/map/mpm/mpmLib.c", |
| "src/map/mpm/mpmMan.c", |
| "src/map/mpm/mpmMap.c", |
| "src/map/mpm/mpmMig.c", |
| "src/map/mpm/mpmPre.c", |
| "src/map/mpm/mpmTruth.c", |
| "src/map/mpm/mpmUtil.c", |
| "src/map/scl/scl.c", |
| "src/map/scl/sclBuffer.c", |
| "src/map/scl/sclBufSize.c", |
| "src/map/scl/sclDnsize.c", |
| "src/map/scl/sclLiberty.c", |
| "src/map/scl/sclLibScl.c", |
| "src/map/scl/sclLibUtil.c", |
| "src/map/scl/sclLoad.c", |
| "src/map/scl/sclSize.c", |
| "src/map/scl/sclUpsize.c", |
| "src/map/scl/sclUtil.c", |
| "src/map/super/super.c", |
| "src/map/super/superAnd.c", |
| "src/map/super/superGate.c", |
| "src/misc/bar/bar.c", |
| "src/misc/bbl/bblif.c", |
| "src/misc/bzlib/blocksort.c", |
| "src/misc/bzlib/bzlib.c", |
| "src/misc/bzlib/compress.c", |
| "src/misc/bzlib/crctable.c", |
| "src/misc/bzlib/decompress.c", |
| "src/misc/bzlib/huffman.c", |
| "src/misc/bzlib/randtable.c", |
| "src/misc/extra/extraUtilBitMatrix.c", |
| "src/misc/extra/extraUtilCanon.c", |
| "src/misc/extra/extraUtilCfs.c", |
| "src/misc/extra/extraUtilCube.c", |
| "src/misc/extra/extraUtilDsd.c", |
| "src/misc/extra/extraUtilEnum.c", |
| "src/misc/extra/extraUtilFile.c", |
| "src/misc/extra/extraUtilGen.c", |
| "src/misc/extra/extraUtilMacc.c", |
| "src/misc/extra/extraUtilMaj.c", |
| "src/misc/extra/extraUtilMemory.c", |
| "src/misc/extra/extraUtilMisc.c", |
| "src/misc/extra/extraUtilMult.c", |
| "src/misc/extra/extraUtilPath.c", |
| "src/misc/extra/extraUtilPerm.c", |
| "src/misc/extra/extraUtilProgress.c", |
| "src/misc/extra/extraUtilReader.c", |
| "src/misc/extra/extraUtilSupp.c", |
| "src/misc/extra/extraUtilTruth.c", |
| "src/misc/extra/extraUtilUtil.c", |
| "src/misc/mem/mem.c", |
| "src/misc/mvc/mvcApi.c", |
| "src/misc/mvc/mvcCompare.c", |
| "src/misc/mvc/mvcContain.c", |
| "src/misc/mvc/mvcCover.c", |
| "src/misc/mvc/mvcCube.c", |
| "src/misc/mvc/mvcDivide.c", |
| "src/misc/mvc/mvcDivisor.c", |
| "src/misc/mvc/mvcList.c", |
| "src/misc/mvc/mvcLits.c", |
| "src/misc/mvc/mvcMan.c", |
| "src/misc/mvc/mvcOpAlg.c", |
| "src/misc/mvc/mvcOpBool.c", |
| "src/misc/mvc/mvcPrint.c", |
| "src/misc/mvc/mvcSort.c", |
| "src/misc/mvc/mvcUtils.c", |
| "src/misc/nm/nmApi.c", |
| "src/misc/nm/nmTable.c", |
| "src/misc/parse/parseEqn.c", |
| "src/misc/parse/parseStack.c", |
| "src/misc/st/st.c", |
| "src/misc/st/stmm.c", |
| "src/misc/tim/timBox.c", |
| "src/misc/tim/timDump.c", |
| "src/misc/tim/timMan.c", |
| "src/misc/tim/timTime.c", |
| "src/misc/tim/timTrav.c", |
| "src/misc/util/utilBridge.c", |
| "src/misc/util/utilBSet.c", |
| "src/misc/util/utilCex.c", |
| "src/misc/util/utilColor.c", |
| "src/misc/util/utilFile.c", |
| "src/misc/util/utilIsop.c", |
| "src/misc/util/utilNam.c", |
| "src/misc/util/utilPrefix.cpp", |
| "src/misc/util/utilPth.c", |
| "src/misc/util/utilSignal.c", |
| "src/misc/util/utilSort.c", |
| "src/misc/zlib/adler32.c", |
| "src/misc/zlib/compress_.c", |
| "src/misc/zlib/crc32.c", |
| "src/misc/zlib/deflate.c", |
| "src/misc/zlib/gzclose.c", |
| "src/misc/zlib/gzlib.c", |
| "src/misc/zlib/gzread.c", |
| "src/misc/zlib/gzwrite.c", |
| "src/misc/zlib/infback.c", |
| "src/misc/zlib/inffast.c", |
| "src/misc/zlib/inflate.c", |
| "src/misc/zlib/inftrees.c", |
| "src/misc/zlib/trees.c", |
| "src/misc/zlib/uncompr.c", |
| "src/misc/zlib/zutil.c", |
| "src/opt/cgt/cgtAig.c", |
| "src/opt/cgt/cgtCore.c", |
| "src/opt/cgt/cgtDecide.c", |
| "src/opt/cgt/cgtMan.c", |
| "src/opt/cgt/cgtSat.c", |
| "src/opt/csw/cswCore.c", |
| "src/opt/csw/cswCut.c", |
| "src/opt/csw/cswMan.c", |
| "src/opt/csw/cswTable.c", |
| "src/opt/cut/cutApi.c", |
| "src/opt/cut/cutCut.c", |
| "src/opt/cut/cutMan.c", |
| "src/opt/cut/cutMerge.c", |
| "src/opt/cut/cutNode.c", |
| "src/opt/cut/cutOracle.c", |
| "src/opt/cut/cutPre22.c", |
| "src/opt/cut/cutSeq.c", |
| "src/opt/cut/cutTruth.c", |
| "src/opt/dar/darBalance.c", |
| "src/opt/dar/darCore.c", |
| "src/opt/dar/darCut.c", |
| "src/opt/dar/darData.c", |
| "src/opt/dar/darLib.c", |
| "src/opt/dar/darMan.c", |
| "src/opt/dar/darPrec.c", |
| "src/opt/dar/darRefact.c", |
| "src/opt/dar/darScript.c", |
| "src/opt/dau/dauCanon.c", |
| "src/opt/dau/dauCore.c", |
| "src/opt/dau/dauCount.c", |
| "src/opt/dau/dauDivs.c", |
| "src/opt/dau/dauDsd.c", |
| "src/opt/dau/dauEnum.c", |
| "src/opt/dau/dauGia.c", |
| "src/opt/dau/dauMerge.c", |
| "src/opt/dau/dauNonDsd.c", |
| "src/opt/dau/dauNpn.c", |
| "src/opt/dau/dauNpn2.c", |
| "src/opt/dau/dauTree.c", |
| "src/opt/dsc/dsc.c", |
| "src/opt/eslim/eSLIM.cpp", |
| "src/opt/eslim/relationGeneration.cpp", |
| "src/opt/fret/fretFlow.c", |
| "src/opt/fret/fretInit.c", |
| "src/opt/fret/fretMain.c", |
| "src/opt/fret/fretTime.c", |
| "src/opt/fxch/Fxch.c", |
| "src/opt/fxch/FxchDiv.c", |
| "src/opt/fxch/FxchMan.c", |
| "src/opt/fxch/FxchSCHashTable.c", |
| "src/opt/fxu/fxu.c", |
| "src/opt/fxu/fxuCreate.c", |
| "src/opt/fxu/fxuHeapD.c", |
| "src/opt/fxu/fxuHeapS.c", |
| "src/opt/fxu/fxuList.c", |
| "src/opt/fxu/fxuMatrix.c", |
| "src/opt/fxu/fxuPair.c", |
| "src/opt/fxu/fxuPrint.c", |
| "src/opt/fxu/fxuReduce.c", |
| "src/opt/fxu/fxuSelect.c", |
| "src/opt/fxu/fxuSingle.c", |
| "src/opt/fxu/fxuUpdate.c", |
| "src/opt/lpk/lpkAbcDec.c", |
| "src/opt/lpk/lpkAbcDsd.c", |
| "src/opt/lpk/lpkAbcMux.c", |
| "src/opt/lpk/lpkAbcUtil.c", |
| "src/opt/lpk/lpkCore.c", |
| "src/opt/lpk/lpkCut.c", |
| "src/opt/lpk/lpkMan.c", |
| "src/opt/lpk/lpkMap.c", |
| "src/opt/lpk/lpkMulti.c", |
| "src/opt/lpk/lpkMux.c", |
| "src/opt/lpk/lpkSets.c", |
| "src/opt/mfs/mfsCore.c", |
| "src/opt/mfs/mfsDiv.c", |
| "src/opt/mfs/mfsInter.c", |
| "src/opt/mfs/mfsMan.c", |
| "src/opt/mfs/mfsResub.c", |
| "src/opt/mfs/mfsSat.c", |
| "src/opt/mfs/mfsStrash.c", |
| "src/opt/mfs/mfsWin.c", |
| "src/opt/nwk/nwkAig.c", |
| "src/opt/nwk/nwkBidec.c", |
| "src/opt/nwk/nwkCheck.c", |
| "src/opt/nwk/nwkDfs.c", |
| "src/opt/nwk/nwkFanio.c", |
| "src/opt/nwk/nwkFlow.c", |
| "src/opt/nwk/nwkMan.c", |
| "src/opt/nwk/nwkMap.c", |
| "src/opt/nwk/nwkMerge.c", |
| "src/opt/nwk/nwkObj.c", |
| "src/opt/nwk/nwkSpeedup.c", |
| "src/opt/nwk/nwkStrash.c", |
| "src/opt/nwk/nwkTiming.c", |
| "src/opt/nwk/nwkUtil.c", |
| "src/opt/rar/rewireMap.c", |
| "src/opt/rar/rewireMiaig.cpp", |
| "src/opt/rar/rewireRar.c", |
| "src/opt/rar/rewireRng.c", |
| "src/opt/res/resCore.c", |
| "src/opt/res/resDivs.c", |
| "src/opt/res/resFilter.c", |
| "src/opt/res/resSat.c", |
| "src/opt/res/resSim.c", |
| "src/opt/res/resStrash.c", |
| "src/opt/res/resWin.c", |
| "src/opt/ret/retArea.c", |
| "src/opt/ret/retCore.c", |
| "src/opt/ret/retDelay.c", |
| "src/opt/ret/retFlow.c", |
| "src/opt/ret/retIncrem.c", |
| "src/opt/ret/retInit.c", |
| "src/opt/ret/retLvalue.c", |
| "src/opt/rwr/rwrDec.c", |
| "src/opt/rwr/rwrEva.c", |
| "src/opt/rwr/rwrExp.c", |
| "src/opt/rwr/rwrLib.c", |
| "src/opt/rwr/rwrMan.c", |
| "src/opt/rwr/rwrPrint.c", |
| "src/opt/rwr/rwrUtil.c", |
| "src/opt/rwt/rwtDec.c", |
| "src/opt/rwt/rwtMan.c", |
| "src/opt/rwt/rwtUtil.c", |
| "src/opt/sbd/sbd.c", |
| "src/opt/sbd/sbdCnf.c", |
| "src/opt/sbd/sbdCore.c", |
| "src/opt/sbd/sbdCut.c", |
| "src/opt/sbd/sbdCut2.c", |
| "src/opt/sbd/sbdLut.c", |
| "src/opt/sbd/sbdPath.c", |
| "src/opt/sbd/sbdSat.c", |
| "src/opt/sbd/sbdWin.c", |
| "src/opt/sfm/sfmArea.c", |
| "src/opt/sfm/sfmCnf.c", |
| "src/opt/sfm/sfmCore.c", |
| "src/opt/sfm/sfmDec.c", |
| "src/opt/sfm/sfmLib.c", |
| "src/opt/sfm/sfmMit.c", |
| "src/opt/sfm/sfmNtk.c", |
| "src/opt/sfm/sfmSat.c", |
| "src/opt/sfm/sfmTim.c", |
| "src/opt/sfm/sfmWin.c", |
| "src/opt/sim/simMan.c", |
| "src/opt/sim/simSeq.c", |
| "src/opt/sim/simSupp.c", |
| "src/opt/sim/simSwitch.c", |
| "src/opt/sim/simSym.c", |
| "src/opt/sim/simSymSat.c", |
| "src/opt/sim/simSymSim.c", |
| "src/opt/sim/simSymStr.c", |
| "src/opt/sim/simUtils.c", |
| "src/proof/abs/absDup.c", |
| "src/proof/abs/absGla.c", |
| "src/proof/abs/absGlaOld.c", |
| "src/proof/abs/absIter.c", |
| "src/proof/abs/absOldCex.c", |
| "src/proof/abs/absOldRef.c", |
| "src/proof/abs/absOldSat.c", |
| "src/proof/abs/absOldSim.c", |
| "src/proof/abs/absOut.c", |
| "src/proof/abs/absPth.c", |
| "src/proof/abs/absRef.c", |
| "src/proof/abs/absRefSelect.c", |
| "src/proof/abs/absRpm.c", |
| "src/proof/abs/absRpmOld.c", |
| "src/proof/abs/absUtil.c", |
| "src/proof/abs/absVta.c", |
| "src/proof/acec/acec2Mult.c", |
| "src/proof/acec/acecBo.c", |
| "src/proof/acec/acecCl.c", |
| "src/proof/acec/acecCo.c", |
| "src/proof/acec/acecCore.c", |
| "src/proof/acec/acecCover.c", |
| "src/proof/acec/acecFadds.c", |
| "src/proof/acec/acecMult.c", |
| "src/proof/acec/acecNorm.c", |
| "src/proof/acec/acecOrder.c", |
| "src/proof/acec/acecPa.c", |
| "src/proof/acec/acecPo.c", |
| "src/proof/acec/acecPolyn.c", |
| "src/proof/acec/acecPool.c", |
| "src/proof/acec/acecRe.c", |
| "src/proof/acec/acecSt.c", |
| "src/proof/acec/acecTree.c", |
| "src/proof/acec/acecUtil.c", |
| "src/proof/acec/acecXor.c", |
| "src/proof/cec/cecCec.c", |
| "src/proof/cec/cecChoice.c", |
| "src/proof/cec/cecClass.c", |
| "src/proof/cec/cecCore.c", |
| "src/proof/cec/cecCorr.c", |
| "src/proof/cec/cecIso.c", |
| "src/proof/cec/cecMan.c", |
| "src/proof/cec/cecPat.c", |
| "src/proof/cec/cecProve.c", |
| "src/proof/cec/cecSat.c", |
| "src/proof/cec/cecSatG.c", |
| "src/proof/cec/cecSatG2.c", |
| "src/proof/cec/cecSatG3.c", |
| "src/proof/cec/cecSeq.c", |
| "src/proof/cec/cecSim.c", |
| "src/proof/cec/cecSolve.c", |
| "src/proof/cec/cecSolveG.c", |
| "src/proof/cec/cecSplit.c", |
| "src/proof/cec/cecSweep.c", |
| "src/proof/cec/cecSynth.c", |
| "src/proof/dch/dchAig.c", |
| "src/proof/dch/dchChoice.c", |
| "src/proof/dch/dchClass.c", |
| "src/proof/dch/dchCnf.c", |
| "src/proof/dch/dchCore.c", |
| "src/proof/dch/dchMan.c", |
| "src/proof/dch/dchSat.c", |
| "src/proof/dch/dchSim.c", |
| "src/proof/dch/dchSimSat.c", |
| "src/proof/dch/dchSweep.c", |
| "src/proof/fra/fraBmc.c", |
| "src/proof/fra/fraCec.c", |
| "src/proof/fra/fraClass.c", |
| "src/proof/fra/fraClau.c", |
| "src/proof/fra/fraClaus.c", |
| "src/proof/fra/fraCnf.c", |
| "src/proof/fra/fraCore.c", |
| "src/proof/fra/fraHot.c", |
| "src/proof/fra/fraImp.c", |
| "src/proof/fra/fraInd.c", |
| "src/proof/fra/fraIndVer.c", |
| "src/proof/fra/fraLcr.c", |
| "src/proof/fra/fraMan.c", |
| "src/proof/fra/fraPart.c", |
| "src/proof/fra/fraSat.c", |
| "src/proof/fra/fraSec.c", |
| "src/proof/fra/fraSim.c", |
| "src/proof/fraig/fraigApi.c", |
| "src/proof/fraig/fraigCanon.c", |
| "src/proof/fraig/fraigFanout.c", |
| "src/proof/fraig/fraigFeed.c", |
| "src/proof/fraig/fraigMan.c", |
| "src/proof/fraig/fraigMem.c", |
| "src/proof/fraig/fraigNode.c", |
| "src/proof/fraig/fraigPrime.c", |
| "src/proof/fraig/fraigSat.c", |
| "src/proof/fraig/fraigTable.c", |
| "src/proof/fraig/fraigUtil.c", |
| "src/proof/fraig/fraigVec.c", |
| "src/proof/int/intCheck.c", |
| "src/proof/int/intContain.c", |
| "src/proof/int/intCore.c", |
| "src/proof/int/intCtrex.c", |
| "src/proof/int/intDup.c", |
| "src/proof/int/intFrames.c", |
| "src/proof/int/intInter.c", |
| "src/proof/int/intM114.c", |
| "src/proof/int/intMan.c", |
| "src/proof/int/intUtil.c", |
| "src/proof/live/arenaViolation.c", |
| "src/proof/live/combination.c", |
| "src/proof/live/disjunctiveMonotone.c", |
| "src/proof/live/kLiveConstraints.c", |
| "src/proof/live/kliveness.c", |
| "src/proof/live/liveness_sim.c", |
| "src/proof/live/liveness.c", |
| "src/proof/live/ltl_parser.c", |
| "src/proof/live/monotone.c", |
| "src/proof/pdr/pdrCnf.c", |
| "src/proof/pdr/pdrCore.c", |
| "src/proof/pdr/pdrIncr.c", |
| "src/proof/pdr/pdrInv.c", |
| "src/proof/pdr/pdrMan.c", |
| "src/proof/pdr/pdrSat.c", |
| "src/proof/pdr/pdrTsim.c", |
| "src/proof/pdr/pdrTsim2.c", |
| "src/proof/pdr/pdrTsim3.c", |
| "src/proof/pdr/pdrUtil.c", |
| "src/proof/ssc/sscClass.c", |
| "src/proof/ssc/sscCore.c", |
| "src/proof/ssc/sscSat.c", |
| "src/proof/ssc/sscSim.c", |
| "src/proof/ssc/sscUtil.c", |
| "src/proof/ssw/sswAig.c", |
| "src/proof/ssw/sswBmc.c", |
| "src/proof/ssw/sswClass.c", |
| "src/proof/ssw/sswCnf.c", |
| "src/proof/ssw/sswConstr.c", |
| "src/proof/ssw/sswCore.c", |
| "src/proof/ssw/sswDyn.c", |
| "src/proof/ssw/sswFilter.c", |
| "src/proof/ssw/sswIslands.c", |
| "src/proof/ssw/sswLcorr.c", |
| "src/proof/ssw/sswMan.c", |
| "src/proof/ssw/sswPairs.c", |
| "src/proof/ssw/sswPart.c", |
| "src/proof/ssw/sswRarity.c", |
| "src/proof/ssw/sswSat.c", |
| "src/proof/ssw/sswSemi.c", |
| "src/proof/ssw/sswSim.c", |
| "src/proof/ssw/sswSimSat.c", |
| "src/proof/ssw/sswSweep.c", |
| "src/proof/ssw/sswUnique.c", |
| "src/sat/bmc/bmcBCore.c", |
| "src/sat/bmc/bmcBmc.c", |
| "src/sat/bmc/bmcBmc2.c", |
| "src/sat/bmc/bmcBmc3.c", |
| "src/sat/bmc/bmcBmcAnd.c", |
| "src/sat/bmc/bmcBmcG.c", |
| "src/sat/bmc/bmcBmci.c", |
| "src/sat/bmc/bmcBmcS.c", |
| "src/sat/bmc/bmcCexCare.c", |
| "src/sat/bmc/bmcCexCut.c", |
| "src/sat/bmc/bmcCexDepth.c", |
| "src/sat/bmc/bmcCexMin1.c", |
| "src/sat/bmc/bmcCexMin2.c", |
| "src/sat/bmc/bmcCexTools.c", |
| "src/sat/bmc/bmcChain.c", |
| "src/sat/bmc/bmcClp.c", |
| "src/sat/bmc/bmcEco.c", |
| "src/sat/bmc/bmcExpand.c", |
| "src/sat/bmc/bmcFault.c", |
| "src/sat/bmc/bmcFx.c", |
| "src/sat/bmc/bmcGen.c", |
| "src/sat/bmc/bmcICheck.c", |
| "src/sat/bmc/bmcInse.c", |
| "src/sat/bmc/bmcLoad.c", |
| "src/sat/bmc/bmcMaj.c", |
| "src/sat/bmc/bmcMaj2.c", |
| "src/sat/bmc/bmcMaj3.c", |
| "src/sat/bmc/bmcMaxi.c", |
| "src/sat/bmc/bmcMesh.c", |
| "src/sat/bmc/bmcMesh2.c", |
| "src/sat/bmc/bmcMulti.c", |
| "src/sat/bmc/bmcUnroll.c", |
| "src/sat/bsat/satInter.c", |
| "src/sat/bsat/satInterA.c", |
| "src/sat/bsat/satInterB.c", |
| "src/sat/bsat/satInterP.c", |
| "src/sat/bsat/satMem.c", |
| "src/sat/bsat/satProof.c", |
| "src/sat/bsat/satSolver.c", |
| "src/sat/bsat/satSolver2.c", |
| "src/sat/bsat/satSolver2i.c", |
| "src/sat/bsat/satSolver3.c", |
| "src/sat/bsat/satStore.c", |
| "src/sat/bsat/satTrace.c", |
| "src/sat/bsat/satTruth.c", |
| "src/sat/bsat/satUtil.c", |
| "src/sat/cadical/cadical_analyze.cpp", |
| "src/sat/cadical/cadical_arena.cpp", |
| "src/sat/cadical/cadical_assume.cpp", |
| "src/sat/cadical/cadical_averages.cpp", |
| "src/sat/cadical/cadical_backtrack.cpp", |
| "src/sat/cadical/cadical_backward.cpp", |
| "src/sat/cadical/cadical_bins.cpp", |
| "src/sat/cadical/cadical_block.cpp", |
| "src/sat/cadical/cadical_ccadical.cpp", |
| "src/sat/cadical/cadical_checker.cpp", |
| "src/sat/cadical/cadical_clause.cpp", |
| "src/sat/cadical/cadical_collect.cpp", |
| "src/sat/cadical/cadical_compact.cpp", |
| "src/sat/cadical/cadical_condition.cpp", |
| "src/sat/cadical/cadical_config.cpp", |
| "src/sat/cadical/cadical_congruence.cpp", |
| "src/sat/cadical/cadical_constrain.cpp", |
| "src/sat/cadical/cadical_contract.cpp", |
| "src/sat/cadical/cadical_cover.cpp", |
| "src/sat/cadical/cadical_decide.cpp", |
| "src/sat/cadical/cadical_decompose.cpp", |
| "src/sat/cadical/cadical_deduplicate.cpp", |
| "src/sat/cadical/cadical_definition.cpp", |
| "src/sat/cadical/cadical_drattracer.cpp", |
| "src/sat/cadical/cadical_elim.cpp", |
| "src/sat/cadical/cadical_elimfast.cpp", |
| "src/sat/cadical/cadical_ema.cpp", |
| "src/sat/cadical/cadical_extend.cpp", |
| "src/sat/cadical/cadical_external_propagate.cpp", |
| "src/sat/cadical/cadical_external.cpp", |
| "src/sat/cadical/cadical_factor.cpp", |
| "src/sat/cadical/cadical_file.cpp", |
| "src/sat/cadical/cadical_flags.cpp", |
| "src/sat/cadical/cadical_flip.cpp", |
| "src/sat/cadical/cadical_format.cpp", |
| "src/sat/cadical/cadical_frattracer.cpp", |
| "src/sat/cadical/cadical_gates.cpp", |
| "src/sat/cadical/cadical_idruptracer.cpp", |
| "src/sat/cadical/cadical_instantiate.cpp", |
| "src/sat/cadical/cadical_internal.cpp", |
| "src/sat/cadical/cadical_ipasir.cpp", |
| "src/sat/cadical/cadical_kitten.c", |
| "src/sat/cadical/cadical_lidruptracer.cpp", |
| "src/sat/cadical/cadical_limit.cpp", |
| "src/sat/cadical/cadical_logging.cpp", |
| "src/sat/cadical/cadical_lookahead.cpp", |
| "src/sat/cadical/cadical_lratchecker.cpp", |
| "src/sat/cadical/cadical_lrattracer.cpp", |
| "src/sat/cadical/cadical_lucky.cpp", |
| "src/sat/cadical/cadical_message.cpp", |
| "src/sat/cadical/cadical_minimize.cpp", |
| "src/sat/cadical/cadical_occs.cpp", |
| "src/sat/cadical/cadical_options.cpp", |
| "src/sat/cadical/cadical_parse.cpp", |
| "src/sat/cadical/cadical_phases.cpp", |
| "src/sat/cadical/cadical_probe.cpp", |
| "src/sat/cadical/cadical_profile.cpp", |
| "src/sat/cadical/cadical_proof.cpp", |
| "src/sat/cadical/cadical_propagate.cpp", |
| "src/sat/cadical/cadical_queue.cpp", |
| "src/sat/cadical/cadical_random.cpp", |
| "src/sat/cadical/cadical_reap.cpp", |
| "src/sat/cadical/cadical_reduce.cpp", |
| "src/sat/cadical/cadical_rephase.cpp", |
| "src/sat/cadical/cadical_report.cpp", |
| "src/sat/cadical/cadical_resources.cpp", |
| "src/sat/cadical/cadical_restart.cpp", |
| "src/sat/cadical/cadical_restore.cpp", |
| "src/sat/cadical/cadical_score.cpp", |
| "src/sat/cadical/cadical_shrink.cpp", |
| "src/sat/cadical/cadical_signal.cpp", |
| "src/sat/cadical/cadical_solution.cpp", |
| "src/sat/cadical/cadical_solver.cpp", |
| "src/sat/cadical/cadical_stable.cpp", |
| "src/sat/cadical/cadical_stats.cpp", |
| "src/sat/cadical/cadical_subsume.cpp", |
| "src/sat/cadical/cadical_sweep.cpp", |
| "src/sat/cadical/cadical_terminal.cpp", |
| "src/sat/cadical/cadical_ternary.cpp", |
| "src/sat/cadical/cadical_tier.cpp", |
| "src/sat/cadical/cadical_transred.cpp", |
| "src/sat/cadical/cadical_unstable.cpp", |
| "src/sat/cadical/cadical_util.cpp", |
| "src/sat/cadical/cadical_var.cpp", |
| "src/sat/cadical/cadical_veripbtracer.cpp", |
| "src/sat/cadical/cadical_version.cpp", |
| "src/sat/cadical/cadical_vivify.cpp", |
| "src/sat/cadical/cadical_walk.cpp", |
| "src/sat/cadical/cadical_watch.cpp", |
| "src/sat/cadical/cadicalSolver.c", |
| "src/sat/cadical/cadicalTest.c", |
| "src/sat/cnf/cnfCore.c", |
| "src/sat/cnf/cnfCut.c", |
| "src/sat/cnf/cnfData.c", |
| "src/sat/cnf/cnfFast.c", |
| "src/sat/cnf/cnfMan.c", |
| "src/sat/cnf/cnfMap.c", |
| "src/sat/cnf/cnfPost.c", |
| "src/sat/cnf/cnfUtil.c", |
| "src/sat/cnf/cnfWrite.c", |
| "src/sat/csat/csat_apis.c", |
| "src/sat/glucose/AbcGlucose.cpp", |
| "src/sat/glucose/AbcGlucoseCmd.cpp", |
| "src/sat/glucose/Glucose.cpp", |
| "src/sat/glucose/Options.cpp", |
| "src/sat/glucose/SimpSolver.cpp", |
| "src/sat/glucose/System.cpp", |
| "src/sat/glucose2/AbcGlucose2.cpp", |
| "src/sat/glucose2/AbcGlucoseCmd2.cpp", |
| "src/sat/glucose2/Glucose2.cpp", |
| "src/sat/glucose2/Options2.cpp", |
| "src/sat/glucose2/SimpSolver2.cpp", |
| "src/sat/glucose2/System2.cpp", |
| "src/sat/kissat/allocate.c", |
| "src/sat/kissat/analyze.c", |
| "src/sat/kissat/ands.c", |
| "src/sat/kissat/arena.c", |
| "src/sat/kissat/assign.c", |
| "src/sat/kissat/averages.c", |
| "src/sat/kissat/backbone.c", |
| "src/sat/kissat/backtrack.c", |
| "src/sat/kissat/build.c", |
| "src/sat/kissat/bump.c", |
| "src/sat/kissat/check.c", |
| "src/sat/kissat/classify.c", |
| "src/sat/kissat/clause.c", |
| "src/sat/kissat/collect.c", |
| "src/sat/kissat/colors.c", |
| "src/sat/kissat/compact.c", |
| "src/sat/kissat/config.c", |
| "src/sat/kissat/congruence.c", |
| "src/sat/kissat/decide.c", |
| "src/sat/kissat/deduce.c", |
| "src/sat/kissat/definition.c", |
| "src/sat/kissat/dense.c", |
| "src/sat/kissat/dump.c", |
| "src/sat/kissat/eliminate.c", |
| "src/sat/kissat/equivalences.c", |
| "src/sat/kissat/error.c", |
| "src/sat/kissat/extend.c", |
| "src/sat/kissat/factor.c", |
| "src/sat/kissat/fastel.c", |
| "src/sat/kissat/file.c", |
| "src/sat/kissat/flags.c", |
| "src/sat/kissat/format.c", |
| "src/sat/kissat/forward.c", |
| "src/sat/kissat/gates.c", |
| "src/sat/kissat/heap.c", |
| "src/sat/kissat/ifthenelse.c", |
| "src/sat/kissat/import.c", |
| "src/sat/kissat/internal.c", |
| "src/sat/kissat/kimits.c", |
| "src/sat/kissat/kissatSolver.c", |
| "src/sat/kissat/kissatTest.c", |
| "src/sat/kissat/kitten.c", |
| "src/sat/kissat/kptions.c", |
| "src/sat/kissat/krite.c", |
| "src/sat/kissat/kucky.c", |
| "src/sat/kissat/learn.c", |
| "src/sat/kissat/logging.c", |
| "src/sat/kissat/minimize.c", |
| "src/sat/kissat/mode.c", |
| "src/sat/kissat/phases.c", |
| "src/sat/kissat/preprocess.c", |
| "src/sat/kissat/print.c", |
| "src/sat/kissat/probe.c", |
| "src/sat/kissat/profile.c", |
| "src/sat/kissat/promote.c", |
| "src/sat/kissat/proof.c", |
| "src/sat/kissat/propbeyond.c", |
| "src/sat/kissat/propdense.c", |
| "src/sat/kissat/propinitially.c", |
| "src/sat/kissat/proprobe.c", |
| "src/sat/kissat/propsearch.c", |
| "src/sat/kissat/queue.c", |
| "src/sat/kissat/reduce.c", |
| "src/sat/kissat/reluctant.c", |
| "src/sat/kissat/reorder.c", |
| "src/sat/kissat/rephase.c", |
| "src/sat/kissat/report.c", |
| "src/sat/kissat/resize.c", |
| "src/sat/kissat/resolve.c", |
| "src/sat/kissat/resources.c", |
| "src/sat/kissat/restart.c", |
| "src/sat/kissat/search.c", |
| "src/sat/kissat/shrink.c", |
| "src/sat/kissat/smooth.c", |
| "src/sat/kissat/sort.c", |
| "src/sat/kissat/stack.c", |
| "src/sat/kissat/statistics.c", |
| "src/sat/kissat/strengthen.c", |
| "src/sat/kissat/substitute.c", |
| "src/sat/kissat/sweep.c", |
| "src/sat/kissat/terminate.c", |
| "src/sat/kissat/tiers.c", |
| "src/sat/kissat/trail.c", |
| "src/sat/kissat/transitive.c", |
| "src/sat/kissat/utilities.c", |
| "src/sat/kissat/vector.c", |
| "src/sat/kissat/vivify.c", |
| "src/sat/kissat/walk.c", |
| "src/sat/kissat/warmup.c", |
| "src/sat/kissat/watch.c", |
| "src/sat/kissat/weaken.c", |
| "src/sat/msat/msatActivity.c", |
| "src/sat/msat/msatClause.c", |
| "src/sat/msat/msatClauseVec.c", |
| "src/sat/msat/msatMem.c", |
| "src/sat/msat/msatOrderH.c", |
| "src/sat/msat/msatQueue.c", |
| "src/sat/msat/msatRead.c", |
| "src/sat/msat/msatSolverApi.c", |
| "src/sat/msat/msatSolverCore.c", |
| "src/sat/msat/msatSolverIo.c", |
| "src/sat/msat/msatSolverSearch.c", |
| "src/sat/msat/msatSort.c", |
| "src/sat/msat/msatVec.c", |
| "src/sat/satoko/cnf_reader.c", |
| "src/sat/satoko/solver_api.c", |
| "src/sat/satoko/solver.c", |
| "src/sat/xsat/xsatCnfReader.c", |
| "src/sat/xsat/xsatSolver.c", |
| "src/sat/xsat/xsatSolverAPI.c", |
| ] |
| |
| COPTS = [ |
| "-w", |
| "-x c++", |
| "-std=c++17", |
| "-DLIN64", |
| "-DSIZEOF_VOID_P=8", |
| "-DSIZEOF_LONG=8", |
| "-DSIZEOF_INT=4", |
| "-D_DEFAULT_SOURCE", |
| ] |
| |
| cc_library( |
| name = "abc", |
| srcs = SRCS + glob(["src/**/*.hpp"]), |
| hdrs = [ |
| "src/base/abc/abc.h", |
| "src/base/main/main.h", |
| "src/misc/util/abc_global.h", |
| ], |
| copts = COPTS + [ |
| # Required with `ABC_NAMESPACE=` defines |
| "-fpermissive", |
| ], |
| defines = [ |
| "ABC_USE_CUDD=1", |
| "ABC_USE_PTHREADS", |
| "ABC_USE_READLINE", |
| "ABC_NAMESPACE=abc", |
| ], |
| includes = [ |
| "src", |
| "src/opt/eslim", |
| "src/sat/kissat", |
| ], |
| linkstatic = True, |
| textual_hdrs = glob([ |
| "src/**/*.h", |
| "src/**/*.tpp", |
| ]) + [ |
| "src/aig/saig/saigUnfold2.c", |
| "src/base/abci/abcDarUnfold2.c", |
| "src/base/abci/abciUnfold2.c", |
| "src/sat/kissat/sort.c", |
| "src/sat/kissat/watch.c", |
| ], |
| visibility = ["//visibility:public"], |
| deps = [ |
| "@readline", |
| "@zlib", |
| ], |
| ) |
| |
| cc_binary( |
| name = "abc_bin", |
| srcs = ["src/base/main/main.c"], |
| copts = COPTS, |
| includes = ["src"], |
| linkopts = select({ |
| "@platforms//os:windows": [], |
| "//conditions:default": [ |
| "-ldl", |
| "-lpthread", |
| ], |
| }), |
| visibility = ["//visibility:public"], |
| deps = [":abc"], |
| ) |
