# filelist

dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/abc
filetypes: ffffffffffffffffffffffff
filenames:
  abc.h/abcAig.c/abcBarBuf.c/abcBlifMv.c/abcCheck.c/abcDfs.c/abcFanOrder.c/abcFanio.c/abcFunc.c/abcHie.c/abcHieCec.c/abcHieGia.c/abcHieNew.c/abcLatch.c/abcLib.c/abcMinBase.c/abcNames.c/abcNetlist.c/abcNtk.c/abcObj.c/abcRefs.c/abcShow.c/abcSop.c/abcUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/msat
filetypes: fffffffffffffff
filenames:
  msat.h/msatActivity.c/msatClause.c/msatClauseVec.c/msatInt.h/msatMem.c/msatOrderH.c/msatQueue.c/msatRead.c/msatSolverApi.c/msatSolverCore.c/msatSolverIo.c/msatSolverSearch.c/msatSort.c/msatVec.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/proof/ssw
filetypes: ffffffffffffffffffffff
filenames:
  ssw.h/sswAig.c/sswBmc.c/sswClass.c/sswCnf.c/sswConstr.c/sswCore.c/sswDyn.c/sswFilter.c/sswInt.h/sswIslands.c/sswLcorr.c/sswMan.c/sswPairs.c/sswPart.c/sswRarity.c/sswSat.c/sswSemi.c/sswSim.c/sswSimSat.c/sswSweep.c/sswUnique.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/bsat
filetypes: fffffffffffffffffffffff
filenames:
  satClause.h/satInter.c/satInterA.c/satInterB.c/satInterP.c/satMem.c/satMem.h/satProof.c/satProof2.h/satSolver.c/satSolver.h/satSolver2.c/satSolver2.h/satSolver2i.c/satSolver3.c/satSolver3.h/satStore.c/satStore.h/satTrace.c/satTruth.c/satTruth.h/satUtil.c/satVec.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/wln
filetypes: ffffffffffffff
filenames:
  wln.c/wln.h/wlnBlast.c/wlnCom.c/wlnGuide.c/wlnMem.c/wlnNdr.c/wlnNtk.c/wlnObj.c/wlnRead.c/wlnRetime.c/wlnRtl.c/wlnWlc.c/wlnWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/proof/dch
filetypes: ffffffffffff
filenames:
  dch.h/dchAig.c/dchChoice.c/dchClass.c/dchCnf.c/dchCore.c/dchInt.h/dchMan.c/dchSat.c/dchSim.c/dchSimSat.c/dchSweep.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/bool/lucky
filetypes: fffffffff
filenames:
  lucky.c/lucky.h/luckyFast16.c/luckyFast6.c/luckyInt.h/luckyRead.c/luckySimple.c/luckySwap.c/luckySwapIJ.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/bdd/extrab
filetypes: ffffffffffff
filenames:
  extraBdd.h/extraBddAuto.c/extraBddCas.c/extraBddImage.c/extraBddKmap.c/extraBddMaxMin.c/extraBddMisc.c/extraBddSet.c/extraBddSymm.c/extraBddThresh.c/extraBddTime.c/extraBddUnate.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/aig/hop
filetypes: fffffffffff
filenames:
  hop.h/hopBalance.c/hopCheck.c/hopDfs.c/hopMan.c/hopMem.c/hopObj.c/hopOper.c/hopTable.c/hopTruth.c/hopUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/map/if
filetypes: dffffffffffffffffffffffffffffff
filenames:
  acd/if.h/ifCache.c/ifCom.c/ifCore.c/ifCount.h/ifCut.c/ifData2.c/ifDec07.c/ifDec08.c/ifDec10.c/ifDec16.c/ifDec66.c/ifDec75.c/ifDecJ.c/ifDelay.c/ifDsd.c/ifLibBox.c/ifLibLut.c/ifMan.c/ifMap.c/ifMatch2.c/ifReduce.c/ifSat.c/ifSelect.c/ifSeq.c/ifTest.c/ifTime.c/ifTruth.c/ifTune.c/ifUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt
filetypes: ddddddddddddddddddddddddd
filenames:
  cgt/csw/cut/dar/dau/dsc/eslim/fret/fxch/fxu/lpk/mfs/nwk/rar/res/ret/rrr/rwr/rwt/sbd/sfm/sim/ufar/untk/util


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/bool/kit
filetypes: ffffffffffffff
filenames:
  cloud.c/cloud.h/kit.h/kitAig.c/kitBdd.c/kitCloud.c/kitDsd.c/kitFactor.c/kitGraph.c/kitHop.c/kitIsop.c/kitPla.c/kitSop.c/kitTruth.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/map/scl
filetypes: ffffffffffffff
filenames:
  scl.c/sclBufSize.c/sclBuffer.c/sclCon.h/sclDnsize.c/sclLib.h/sclLibScl.c/sclLibUtil.c/sclLiberty.c/sclLoad.c/sclSize.c/sclSize.h/sclUpsize.c/sclUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/misc/vec
filetypes: ffffffffffffff
filenames:
  vecAtt.h/vecBit.h/vecFlt.h/vecHash.h/vecHsh.h/vecInt.h/vecMem.h/vecPtr.h/vecQue.h/vecSet.h/vecStr.h/vecVec.h/vecWec.h/vecWrd.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt/dar
filetypes: fffffffffff
filenames:
  dar.h/darBalance.c/darCore.c/darCut.c/darData.c/darInt.h/darLib.c/darMan.c/darPrec.c/darRefact.c/darScript.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/proof/fra
filetypes: ffffffffffffffffff
filenames:
  fra.h/fraBmc.c/fraCec.c/fraClass.c/fraClau.c/fraClaus.c/fraCnf.c/fraCore.c/fraHot.c/fraImp.c/fraInd.c/fraIndVer.c/fraLcr.c/fraMan.c/fraPart.c/fraSat.c/fraSec.c/fraSim.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/io
filetypes: ffffffffffffffffffffffffffffffffffff
filenames:
  io.c/ioAbc.h/ioJson.c/ioJsonc.c/ioReadAiger.c/ioReadBaf.c/ioReadBblif.c/ioReadBench.c/ioReadBlif.c/ioReadBlifAig.c/ioReadBlifMv.c/ioReadDsd.c/ioReadEdif.c/ioReadEqn.c/ioReadPla.c/ioReadPlaMo.c/ioReadVerilog.c/ioResub.h/ioUtil.c/ioWriteAiger.c/ioWriteBaf.c/ioWriteBblif.c/ioWriteBench.c/ioWriteBlif.c/ioWriteBlifMv.c/ioWriteBook.c/ioWriteCnf.c/ioWriteDot.c/ioWriteEdgelist.c/ioWriteEqn.c/ioWriteGml.c/ioWriteHMetis.c/ioWriteList.c/ioWritePla.c/ioWriteSmv.c/ioWriteVerilog.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/proof/abs
filetypes: ffffffffffffffffff
filenames:
  abs.h/absDup.c/absGla.c/absGlaOld.c/absIter.c/absOldCex.c/absOldRef.c/absOldSat.c/absOldSim.c/absOut.c/absPth.c/absRef.c/absRef.h/absRefSelect.c/absRpm.c/absRpmOld.c/absUtil.c/absVta.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/main
filetypes: ffffffffff
filenames:
  abcapis.h/libSupport.c/main.c/main.h/mainFrame.c/mainInit.c/mainInt.h/mainLib.c/mainReal.c/mainUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt/lpk
filetypes: fffffffffffff
filenames:
  lpk.h/lpkAbcDec.c/lpkAbcDsd.c/lpkAbcMux.c/lpkAbcUtil.c/lpkCore.c/lpkCut.c/lpkInt.h/lpkMan.c/lpkMap.c/lpkMulti.c/lpkMux.c/lpkSets.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt/eslim
filetypes: ffffffffffff
filenames:
  eSLIM.cpp/eSLIM.h/eSLIMMan.hpp/eSLIMMan.tpp/relationGeneration.cpp/relationGeneration.hpp/satInterfaces.hpp/selectionStrategy.hpp/selectionStrategy.tpp/synthesisEngine.hpp/synthesisEngine.tpp/utils.hpp


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/bmc
filetypes: ffffffffffffffffffffffffffffffffffff
filenames:
  bmc.h/bmcBCore.c/bmcBmc.c/bmcBmc2.c/bmcBmc3.c/bmcBmcAnd.c/bmcBmcG.c/bmcBmcS.c/bmcBmci.c/bmcCexCare.c/bmcCexCut.c/bmcCexDepth.c/bmcCexMin1.c/bmcCexMin2.c/bmcCexTools.c/bmcChain.c/bmcClp.c/bmcEco.c/bmcExpand.c/bmcFault.c/bmcFx.c/bmcGen.c/bmcICheck.c/bmcInse.c/bmcLoad.c/bmcMaj.c/bmcMaj2.c/bmcMaj3.c/bmcMaj7.c/bmcMaj8.c/bmcMaj9.c/bmcMaxi.c/bmcMesh.c/bmcMesh2.c/bmcMulti.c/bmcUnroll.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt/sim
filetypes: ffffffffff
filenames:
  sim.h/simMan.c/simSeq.c/simSupp.c/simSwitch.c/simSym.c/simSymSat.c/simSymSim.c/simSymStr.c/simUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/map/mpm
filetypes: ffffffffffffff
filenames:
  mpm.h/mpmAbc.c/mpmCore.c/mpmDsd.c/mpmGates.c/mpmInt.h/mpmLib.c/mpmMan.c/mpmMap.c/mpmMig.c/mpmMig.h/mpmPre.c/mpmTruth.c/mpmUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/bac
filetypes: fffffffffffffffff
filenames:
  bac.h/bacBac.c/bacBlast.c/bacCom.c/bacLib.c/bacNtk.c/bacPrs.h/bacPrsBuild.c/bacPrsTrans.c/bacPtr.c/bacPtrAbc.c/bacReadBlif.c/bacReadSmt.c/bacReadVer.c/bacWriteBlif.c/bacWriteSmt.c/bacWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt/sfm
filetypes: ffffffffffff
filenames:
  sfm.h/sfmArea.c/sfmCnf.c/sfmCore.c/sfmDec.c/sfmInt.h/sfmLib.c/sfmMit.c/sfmNtk.c/sfmSat.c/sfmTim.c/sfmWin.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/map/mapper
filetypes: fffffffffffffffffff
filenames:
  mapper.c/mapper.h/mapperCanon.c/mapperCore.c/mapperCreate.c/mapperCut.c/mapperCutUtils.c/mapperInt.h/mapperLib.c/mapperMatch.c/mapperRefs.c/mapperSuper.c/mapperSwitch.c/mapperTable.c/mapperTime.c/mapperTree.c/mapperTruth.c/mapperUtils.c/mapperVec.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/xsat
filetypes: fffffffffff
filenames:
  xsat.h/xsatBQueue.h/xsatClause.h/xsatCnfReader.c/xsatHeap.h/xsatMemory.h/xsatSolver.c/xsatSolver.h/xsatSolverAPI.c/xsatUtils.h/xsatWatchList.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt/rar
filetypes: fffffffffff
filenames:
  rewireMap.c/rewireMap.h/rewireMiaig.cpp/rewireMiaig.h/rewireRar.c/rewireRar.h/rewireRng.c/rewireRng.h/rewireTime.h/rewireTt.h/rewireVec.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/proof/acec
filetypes: fffffffffffffffffffff
filenames:
  acec.h/acec2Mult.c/acecBo.c/acecCl.c/acecCo.c/acecCore.c/acecCover.c/acecFadds.c/acecInt.h/acecMult.c/acecNorm.c/acecOrder.c/acecPa.c/acecPo.c/acecPolyn.c/acecPool.c/acecRe.c/acecSt.c/acecTree.c/acecUtil.c/acecXor.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/misc/extra
filetypes: fffffffffffffffffffff
filenames:
  extra.h/extraUtilBitMatrix.c/extraUtilCanon.c/extraUtilCfs.c/extraUtilCube.c/extraUtilDsd.c/extraUtilEnum.c/extraUtilFile.c/extraUtilGen.c/extraUtilMacc.c/extraUtilMaj.c/extraUtilMemory.c/extraUtilMisc.c/extraUtilMult.c/extraUtilPath.c/extraUtilPerm.c/extraUtilProgress.c/extraUtilReader.c/extraUtilSupp.c/extraUtilTruth.c/extraUtilUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/satoko
filetypes: ffffffffffdf
filenames:
  act_clause.h/act_var.h/cdb.h/clause.h/cnf_reader.c/satoko.h/solver.c/solver.h/solver_api.c/types.h/utils/watch_list.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/kissat
filenames:
  allocate.c/allocate.h/analyze.c/analyze.h/ands.c/ands.h/arena.c/arena.h/array.h/assign.c/assign.h/averages.c/averages.h/backbone.c/backbone.h/backtrack.c/backtrack.h/build.c/bump.c/bump.h/check.c/classify.c/classify.h/clause.c/clause.h/collect.c/collect.h/colors.c/colors.h/compact.c/compact.h/config.c/congruence.c/congruence.h/decide.c/decide.h/deduce.c/deduce.h/definition.c/definition.h/dense.c/dense.h/dump.c/eliminate.c/eliminate.h/equivalences.c/equivalences.h/error.c/error.h/extend.c/extend.h/factor.c/factor.h/fastassign.h/fastel.c/fastel.h/fifo.h/file.c/file.h/flags.c/flags.h/format.c/format.h/forward.c/forward.h/frames.h/gates.c/gates.h/heap.c/heap.h/ifthenelse.c/ifthenelse.h/import.c/import.h/inline.h/inlineassign.h/inlineframes.h/inlineheap.h/inlinequeue.h/inlinevector.h/internal.c/internal.h/kimits.c/kimits.h/kissat.h/kissatSolver.c/kissatSolver.h/kissatTest.c/kitten.c/kitten.h/kptions.c/krite.c/kucky.c/learn.c/learn.h/logging.c/lucky.h/minimize.c/minimize.h/mode.c/mode.h/options.h/phases.c/phases.h/preprocess.c/preprocess.h/print.c/probe.c/probe.h/profile.c/promote.c/promote.h/proof.c/propbeyond.c/propbeyond.h/propdense.c/propdense.h/propinitially.c/propinitially.h/proplit.h/proprobe.c/proprobe.h/propsearch.c/propsearch.h/queue.c/queue.h/random.h/reduce.c/reduce.h/reference.h/reluctant.c/reluctant.h/reorder.c/reorder.h/rephase.c/rephase.h/report.c/resize.c/resize.h/resolve.c/resolve.h/resources.c/restart.c/restart.h/search.c/search.h/shrink.c/shrink.h/smooth.c/smooth.h/sort.c/stack.c/stack.h/statistics.c/statistics.h/strengthen.c/strengthen.h/substitute.c/substitute.h/sweep.c/sweep.h/terminate.c/terminate.h/tiers.c/tiers.h/trail.c/trail.h/transitive.c/transitive.h/utilities.c/utilities.h/value.h/vector.c/vector.h/vivify.c/vivify.h/walk.c/walk.h/warmup.c/warmup.h/watch.c/watch.h/weaken.c/weaken.h

filetypes:
  ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/glucose
filetypes: ffffffffffffffffffffff
filenames:
  AbcGlucose.cpp/AbcGlucose.h/AbcGlucoseCmd.cpp/Alg.h/Alloc.h/BoundedQueue.h/Glucose.cpp/Heap.h/Map.h/Options.cpp/Options.h/ParseUtils.h/Queue.h/SimpSolver.cpp/SimpSolver.h/Solver.h/SolverTypes.h/Sort.h/System.cpp/System.h/Vec.h/XAlloc.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/acb
filetypes: fffffffffff
filenames:
  acb.h/acbAbc.c/acbAig.c/acbCom.c/acbFunc.c/acbMfs.c/acbPar.h/acbPush.c/acbSets.c/acbTest.c/acbUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/aig/saig
filetypes: ffffffffffffffffffffffffffff
filenames:
  saig.h/saigCone.c/saigConstr.c/saigConstr2.c/saigDual.c/saigDup.c/saigInd.c/saigIoa.c/saigIso.c/saigIsoFast.c/saigIsoSlow.c/saigMiter.c/saigOutDec.c/saigPhase.c/saigRetFwd.c/saigRetMin.c/saigRetStep.c/saigScl.c/saigSimFast.c/saigSimMv.c/saigSimSeq.c/saigStrSim.c/saigSwitch.c/saigSynch.c/saigTempor.c/saigTrans.c/saigUnfold2.c/saigWnd.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/opt/fxu
filetypes: ffffffffffffff
filenames:
  fxu.c/fxu.h/fxuCreate.c/fxuHeapD.c/fxuHeapS.c/fxuInt.h/fxuList.c/fxuMatrix.c/fxuPair.c/fxuPrint.c/fxuReduce.c/fxuSelect.c/fxuSingle.c/fxuUpdate.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/map/amap
filetypes: fffffffffffffff
filenames:
  amap.h/amapCore.c/amapGraph.c/amapInt.h/amapLib.c/amapLiberty.c/amapMan.c/amapMatch.c/amapMerge.c/amapOutput.c/amapParse.c/amapPerm.c/amapRead.c/amapRule.c/amapUniq.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/cba
filetypes: fffffffffff
filenames:
  cba.h/cbaBlast.c/cbaCba.c/cbaCom.c/cbaNtk.c/cbaPrs.h/cbaReadBlif.c/cbaReadVer.c/cbaTypes.h/cbaWriteBlif.c/cbaWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/sat/glucose2
filetypes: ffffffffffffffffffffffff
filenames:
  AbcGlucose2.cpp/AbcGlucose2.h/AbcGlucoseCmd2.cpp/Alg.h/Alloc.h/BoundedQueue.h/CGlucoseCore.h/Glucose2.cpp/Heap.h/Heap2.h/Map.h/Options.h/Options2.cpp/ParseUtils.h/Queue.h/SimpSolver.h/SimpSolver2.cpp/Solver.h/SolverTypes.h/Sort.h/System.h/System2.cpp/Vec.h/XAlloc.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/wlc
filetypes: ffffffffffffffffffff
filenames:
  wlc.h/wlcAbc.c/wlcAbs.c/wlcAbs2.c/wlcBlast.c/wlcCom.c/wlcGraft.c/wlcJson.c/wlcMem.c/wlcNdr.c/wlcNtk.c/wlcPth.c/wlcReadSmt.c/wlcReadVer.c/wlcShow.c/wlcSim.c/wlcStdin.c/wlcUif.c/wlcWin.c/wlcWriteVer.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/aig/gia
filenames:
  gia.h/giaAgi.c/giaAig.c/giaAig.h/giaAiger.c/giaAigerExt.c/giaBalAig.c/giaBalLut.c/giaBalMap.c/giaBidec.c/giaBound.c/giaBsFind.c/giaCCof.c/giaCSat.c/giaCSat2.c/giaCSat3.c/giaCSatOld.c/giaCSatP.c/giaCSatP.h/giaCTas.c/giaCex.c/giaClp.c/giaCof.c/giaCone.c/giaCut.c/giaDecGraph.cpp/giaDecs.c/giaDeep.c/giaDfs.c/giaDup.c/giaEdge.c/giaEmbed.c/giaEnable.c/giaEquiv.c/giaEra.c/giaEra2.c/giaEsop.c/giaExist.c/giaFalse.c/giaFanout.c/giaForce.c/giaFrames.c/giaFront.c/giaFx.c/giaGen.c/giaGig.c/giaGlitch.c/giaHash.c/giaIf.c/giaIff.c/giaIiff.c/giaIso.c/giaIso2.c/giaIso3.c/giaJf.c/giaKf.c/giaLf.c/giaLutCas.c/giaMan.c/giaMem.c/giaMf.c/giaMfs.c/giaMinLut.c/giaMinLut2.c/giaMini.c/giaMulFind.c/giaMulFind3.c/giaMuxes.c/giaNewBdd.h/giaNewTt.h/giaNf.c/giaOf.c/giaPack.c/giaPat.c/giaPat2.c/giaPf.c/giaQbf.c/giaReshape1.c/giaReshape2.c/giaResub.c/giaResub2.c/giaResub3.c/giaResub6.c/giaRetime.c/giaRex.c/giaRrr.cpp/giaSat3.c/giaSatEdge.c/giaSatLE.c/giaSatLut.c/giaSatMap.c/giaSatSyn.c/giaSatoko.c/giaScl.c/giaScript.c/giaShow.c/giaShrink.c/giaShrink6.c/giaShrink7.c/giaSif.c/giaSim.c/giaSim2.c/giaSimBase.c/giaSort.c/giaSpeedup.c/giaSplit.c/giaStg.c/giaStoch.c/giaStr.c/giaSupMin.c/giaSupp.c/giaSupps.c/giaSweep.c/giaSweeper.c/giaSwitch.c/giaTim.c/giaTis.c/giaTranStoch.c/giaTransduction.cpp/giaTransduction.h/giaTruth.c/giaTsim.c/giaTtopt.cpp/giaUnate.c/giaUtil.c

filetypes:
  fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/misc/util
filetypes: ffffffffffffffffffffffff
filenames:
  abc_global.h/utilAigSim.c/utilBSet.c/utilBipart.c/utilBridge.c/utilCex.c/utilCex.h/utilColor.c/utilDouble.h/utilFile.c/utilIsop.c/utilLinear.c/utilMiniver.c/utilMulSim.c/utilNam.c/utilNam.h/utilNet.c/utilPrefix.cpp/utilPth.c/utilSignal.c/utilSignal.h/utilSort.c/utilTruth.h/util_hack.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/map/if/acd
filetypes: ffffffffffff
filenames:
  ac_decomposition.hpp/ac_wrapper.cpp/ac_wrapper.h/acd66.hpp/acdXX.hpp/kitty_algorithm.hpp/kitty_constants.hpp/kitty_constructors.hpp/kitty_dynamic_tt.hpp/kitty_operations.hpp/kitty_operators.hpp/kitty_static_tt.hpp


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/proof/int
filetypes: ffffffffffff
filenames:
  int.h/intCheck.c/intContain.c/intCore.c/intCtrex.c/intDup.c/intFrames.c/intInt.h/intInter.c/intM114.c/intMan.c/intUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/base/cmd
filetypes: ffffffffffff
filenames:
  cmd.c/cmd.h/cmdAlias.c/cmdApi.c/cmdAuto.c/cmdFlag.c/cmdHist.c/cmdInt.h/cmdLoad.c/cmdPlugin.c/cmdStarter.c/cmdUtils.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/bdd/llb
filetypes: ffffffffffffffffffffffff
filenames:
  llb.h/llb1Cluster.c/llb1Constr.c/llb1Core.c/llb1Group.c/llb1Hint.c/llb1Man.c/llb1Matrix.c/llb1Pivot.c/llb1Reach.c/llb1Sched.c/llb2Bad.c/llb2Core.c/llb2Driver.c/llb2Dump.c/llb2Flow.c/llb2Image.c/llb3Image.c/llb3Nonlin.c/llb4Cex.c/llb4Image.c/llb4Nonlin.c/llb4Sweep.c/llbInt.h


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/aig/ivy
filetypes: fffffffffffffffffffffff
filenames:
  ivy.h/ivyBalance.c/ivyCanon.c/ivyCheck.c/ivyCut.c/ivyCutTrav.c/ivyDfs.c/ivyDsd.c/ivyFanout.c/ivyFastMap.c/ivyFraig.c/ivyHaig.c/ivyMan.c/ivyMem.c/ivyMulti.c/ivyObj.c/ivyOper.c/ivyResyn.c/ivyRwr.c/ivySeq.c/ivyShow.c/ivyTable.c/ivyUtil.c


dirname: /usr/src/debug/yosyshq-abc-0.62-1.20260205git734f64d.fc42.ppc64le/src/proof/cec
filetypes: ffffffffffffffffffffff
filenames:
  cec.h/cecCec.c/cecChoice.c/cecClass.c/cecCore.c/cecCorr.c/cecInt.h/cecIso.c/cecMan.c/cecPat.c/cecProve.c/cecSat.c/cecSatG.c/cecSatG2.c/cecSatG3.c/cecSeq.c/cecSim.c/cecSolve.c/cecSolveG.c/cecSplit.c/cecSweep.c/cecSynth.c


