diff --git a/src/aig/aig/CMakeLists.txt b/src/aig/aig/CMakeLists.txt
index 1db00e8266..2676c786fa 100644
--- a/src/aig/aig/CMakeLists.txt
+++ b/src/aig/aig/CMakeLists.txt
@@ -1,35 +1,35 @@
 abc_libabc_add_sources(
     NAME aig_aig
     SOURCES
-        aigCuts.c
-        aigCheck.c
-        aigUtil.c
-        aigOper.c
-        aigMem.c
-        aigTable.c
-        aigMffc.c
+        aigPartReg.c
+        aigCanon.c
+        aigDfs.c
+        aigSplit.c
+        aigTruth.c
         aigInter.c
-        aigRepr.c
-        aigPack.c
-        aigOrder.c
+        aigTable.c
         aigWin.c
-        aigRetF.c
-        aigSplit.c
+        aigTsim.c
+        aigUtil.c
         aigPartSat.c
-        aigScl.c
-        aigDup.c
-        aigPart.c
-        aigCanon.c
-        aigPartReg.c
-        aigShow.c
-        aigFrames.c
-        aigJust.c
         aigObj.c
-        aigTruth.c
-        aigTsim.c
-        aigRet.c
+        aigPack.c
+        aigMem.c
         aigFanout.c
-        aigDfs.c
         aigTiming.c
+        aigPart.c
+        aigShow.c
+        aigRet.c
+        aigDup.c
+        aigScl.c
+        aigRepr.c
+        aigCheck.c
+        aigOper.c
         aigMan.c
+        aigFrames.c
+        aigMffc.c
+        aigJust.c
+        aigRetF.c
+        aigOrder.c
+        aigCuts.c
 )
diff --git a/src/aig/gia/CMakeLists.txt b/src/aig/gia/CMakeLists.txt
index c148415eb6..113b169d12 100644
--- a/src/aig/gia/CMakeLists.txt
+++ b/src/aig/gia/CMakeLists.txt
@@ -1,117 +1,117 @@
 abc_libabc_add_sources(
     NAME aig_gia
     SOURCES
-        giaRetime.c
+        giaMuxes.c
+        giaFx.c
+        giaSatLut.c
+        giaShow.c
+        giaIiff.c
+        giaLf.c
+        giaCut.c
+        giaSupps.c
+        giaAiger.c
+        giaAgi.c
+        giaCSat2.c
+        giaAig.c
+        giaBalAig.c
+        giaSatEdge.c
         giaCCof.c
-        giaSupp.c
-        giaEsop.c
-        giaCSatOld.c
-        giaPf.c
-        giaOf.c
-        giaDup.c
-        giaCTas.c
-        giaShrink.c
-        giaSweeper.c
-        giaIso.c
-        giaAigerExt.c
+        gia.c
+        giaExist.c
         giaKf.c
-        giaQbf.c
-        giaUnate.c
-        giaBalLut.c
         giaCone.c
-        giaSim2.c
-        giaFront.c
-        giaBalAig.c
-        giaTis.c
-        giaAig.c
-        giaSat3.c
-        giaSimBase.c
-        giaGen.c
-        giaMfs.c
         giaIso2.c
-        giaCex.c
+        giaReshape1.c
+        giaSpeedup.c
+        giaMf.c
+        giaFalse.c
+        giaAigerExt.c
+        giaOf.c
+        giaCSatP.c
+        giaEra2.c
         giaTtopt.cpp
-        giaScript.c
-        giaIf.c
-        giaReshape2.c
-        giaSatLut.c
-        giaStr.c
-        giaMini.c
-        giaAgi.c
+        giaShrink.c
         giaSif.c
-        giaFanout.c
-        giaTsim.c
-        giaSatSyn.c
-        giaBalMap.c
-        giaFrames.c
-        giaExist.c
+        giaResub2.c
+        giaCSat.c
+        giaFront.c
+        giaTis.c
+        giaTim.c
+        giaDup.c
+        giaGlitch.c
+        giaCof.c
+        giaScl.c
+        giaRex.c
+        giaSatLE.c
+        giaBidec.c
         giaEra.c
-        giaSplit.c
-        giaIiff.c
-        giaEquiv.c
-        giaShow.c
+        giaUnate.c
+        giaDecs.c
+        giaQbf.c
+        giaCTas.c
+        giaSweep.c
+        giaMini.c
+        giaReshape2.c
+        giaForce.c
+        giaTransduction.cpp
+        giaJf.c
+        giaGig.c
         giaMan.c
-        giaHash.c
+        giaSupMin.c
+        giaResub3.c
+        giaDeep.c
         giaPat.c
+        giaCSat3.c
+        giaMinLut2.c
+        giaShrink6.c
         giaIso3.c
-        giaFx.c
-        giaScl.c
+        giaStr.c
+        giaSwitch.c
+        giaUtil.c
         giaResub6.c
         giaResub.c
-        giaSatLE.c
-        giaMuxes.c
-        giaTruth.c
-        giaGlitch.c
-        giaSatEdge.c
-        giaSort.c
-        giaFalse.c
-        giaResub2.c
-        giaGig.c
-        giaMinLut2.c
-        giaBidec.c
-        giaSupps.c
+        giaEdge.c
+        giaSupp.c
+        giaSatSyn.c
+        giaScript.c
+        giaEmbed.c
+        giaMinLut.c
+        giaSim2.c
+        giaSweeper.c
+        giaCex.c
         giaSatMap.c
+        giaMfs.c
+        giaTranStoch.c
+        giaTruth.c
+        giaNf.c
+        giaSat3.c
+        giaIf.c
         giaStg.c
         giaEnable.c
-        giaCof.c
-        giaReshape1.c
-        giaMf.c
+        giaEsop.c
+        giaSimBase.c
+        giaHash.c
+        giaCSatOld.c
+        giaMem.c
         giaPack.c
+        giaFanout.c
+        giaSplit.c
         giaSim.c
-        giaCSatP.c
-        giaUtil.c
-        giaDeep.c
-        giaRex.c
-        giaCSat3.c
-        giaEra2.c
-        giaIff.c
-        giaTranStoch.c
-        giaSpeedup.c
-        giaAiger.c
-        gia.c
-        giaDfs.c
-        giaShrink7.c
-        giaMem.c
-        giaTransduction.cpp
-        giaSupMin.c
-        giaStoch.c
-        giaJf.c
         giaSatoko.c
-        giaResub3.c
-        giaCSat.c
-        giaTim.c
-        giaEdge.c
-        giaShrink6.c
-        giaLf.c
-        giaDecs.c
-        giaSwitch.c
-        giaForce.c
-        giaMinLut.c
-        giaCut.c
-        giaNf.c
-        giaCSat2.c
+        giaIff.c
         giaPat2.c
+        giaTsim.c
+        giaStoch.c
+        giaRetime.c
+        giaGen.c
+        giaEquiv.c
+        giaDfs.c
+        giaFrames.c
         giaClp.c
-        giaEmbed.c
-        giaSweep.c
+        giaBalLut.c
+        giaSort.c
+        giaPf.c
+        giaBalMap.c
+        giaShrink7.c
+        giaIso.c
 )
diff --git a/src/aig/hop/CMakeLists.txt b/src/aig/hop/CMakeLists.txt
index 0e51ac19a9..b7c69c6653 100644
--- a/src/aig/hop/CMakeLists.txt
+++ b/src/aig/hop/CMakeLists.txt
@@ -1,14 +1,14 @@
 abc_libabc_add_sources(
     NAME aig_hop
     SOURCES
+        hopTruth.c
+        hopTable.c
+        hopMan.c
+        hopMem.c
         hopDfs.c
-        hopUtil.c
-        hopObj.c
-        hopCheck.c
         hopBalance.c
-        hopTable.c
+        hopCheck.c
         hopOper.c
-        hopMem.c
-        hopMan.c
-        hopTruth.c
+        hopObj.c
+        hopUtil.c
 )
diff --git a/src/aig/ioa/CMakeLists.txt b/src/aig/ioa/CMakeLists.txt
index c547a36b6c..040b8625c8 100644
--- a/src/aig/ioa/CMakeLists.txt
+++ b/src/aig/ioa/CMakeLists.txt
@@ -1,7 +1,7 @@
 abc_libabc_add_sources(
     NAME aig_ioa
     SOURCES
-        ioaUtil.c
-        ioaReadAig.c
         ioaWriteAig.c
+        ioaReadAig.c
+        ioaUtil.c
 )
diff --git a/src/aig/ivy/CMakeLists.txt b/src/aig/ivy/CMakeLists.txt
index 2d341be20f..ce757b4fdb 100644
--- a/src/aig/ivy/CMakeLists.txt
+++ b/src/aig/ivy/CMakeLists.txt
@@ -1,26 +1,26 @@
 abc_libabc_add_sources(
     NAME aig_ivy
     SOURCES
-        ivyDsd.c
-        ivyBalance.c
-        ivyRwr.c
+        ivySeq.c
+        ivyMem.c
         ivyMan.c
-        ivyDfs.c
+        ivyMulti.c
+        ivyFraig.c
         ivyShow.c
+        ivyFastMap.c
         ivyCutTrav.c
-        ivyHaig.c
-        ivyFanout.c
+        ivyUtil.c
+        ivyCanon.c
         ivyResyn.c
-        ivyFastMap.c
-        ivyObj.c
+        ivyOper.c
+        ivyFanout.c
+        ivyHaig.c
+        ivyBalance.c
+        ivyRwr.c
         ivyCheck.c
-        ivyUtil.c
+        ivyObj.c
         ivyCut.c
-        ivyMulti.c
-        ivySeq.c
-        ivyOper.c
-        ivyFraig.c
+        ivyDsd.c
+        ivyDfs.c
         ivyTable.c
-        ivyCanon.c
-        ivyMem.c
 )
diff --git a/src/aig/saig/CMakeLists.txt b/src/aig/saig/CMakeLists.txt
index f881487197..81024309bf 100644
--- a/src/aig/saig/CMakeLists.txt
+++ b/src/aig/saig/CMakeLists.txt
@@ -1,30 +1,30 @@
 abc_libabc_add_sources(
     NAME aig_saig
     SOURCES
-        saigIsoSlow.c
-        saigIoa.c
-        saigInd.c
-        saigCone.c
-        saigSynch.c
+        saigSimFast.c
         saigWnd.c
-        saigDual.c
-        saigConstr.c
-        saigRetStep.c
+        saigCone.c
         saigTempor.c
-        saigIsoFast.c
-        saigIso.c
+        saigSynch.c
+        saigScl.c
+        saigConstr2.c
+        saigRetMin.c
         saigRetFwd.c
+        saigIoa.c
+        saigInd.c
+        saigSimMv.c
+        saigSwitch.c
+        saigIsoFast.c
         saigSimSeq.c
-        saigSimFast.c
+        saigDual.c
         saigOutDec.c
+        saigIsoSlow.c
+        saigDup.c
+        saigPhase.c
+        saigRetStep.c
+        saigStrSim.c
         saigMiter.c
-        saigSimMv.c
+        saigIso.c
+        saigConstr.c
         saigTrans.c
-        saigSwitch.c
-        saigConstr2.c
-        saigRetMin.c
-        saigStrSim.c
-        saigPhase.c
-        saigScl.c
-        saigDup.c
 )
diff --git a/src/base/abc/CMakeLists.txt b/src/base/abc/CMakeLists.txt
index 325293df30..88794c8e85 100644
--- a/src/base/abc/CMakeLists.txt
+++ b/src/base/abc/CMakeLists.txt
@@ -1,27 +1,27 @@
 abc_libabc_add_sources(
     NAME base_abc
     SOURCES
+        abcFanOrder.c
         abcFanio.c
-        abcNames.c
         abcHieGia.c
-        abcHie.c
+        abcFunc.c
+        abcLib.c
         abcNtk.c
-        abcMinBase.c
-        abcHieNew.c
-        abcBlifMv.c
-        abcHieCec.c
-        abcCheck.c
-        abcUtil.c
         abcDfs.c
-        abcFunc.c
         abcSop.c
-        abcAig.c
+        abcBlifMv.c
+        abcShow.c
+        abcCheck.c
         abcNetlist.c
+        abcRefs.c
+        abcUtil.c
+        abcHieNew.c
         abcLatch.c
+        abcHie.c
+        abcAig.c
+        abcHieCec.c
+        abcNames.c
         abcBarBuf.c
-        abcRefs.c
+        abcMinBase.c
         abcObj.c
-        abcFanOrder.c
-        abcShow.c
-        abcLib.c
 )
diff --git a/src/base/abci/CMakeLists.txt b/src/base/abci/CMakeLists.txt
index 32fc0bde14..5e506b1197 100644
--- a/src/base/abci/CMakeLists.txt
+++ b/src/base/abci/CMakeLists.txt
@@ -1,81 +1,81 @@
 abc_libabc_add_sources(
     NAME base_abci
     SOURCES
+        abcDress3.c
+        abcFxu.c
+        abcTiming.c
+        abcBalance.c
+        abcDec.c
+        abcNpn.c
+        abcIfMux.c
         abcFx.c
-        abcLutmin.c
-        abcOrchestration.c
-        abcMap.c
-        abcExtract.c
+        abcAttach.c
+        abcQuant.c
         abcBm.c
-        abcOrder.c
-        abcUnate.c
-        abcQbf.c
-        abcMulti.c
-        abcIvy.c
+        abcBidec.c
+        abcPart.c
         abcLog.c
-        abcCollapse.c
-        abcMerge.c
-        abcFxu.c
-        abcLut.c
-        abcReach.c
-        abcCas.c
-        abcRpo.c
+        abcUnreach.c
+        abcFraig.c
+        abcProve.c
+        abcRefactor.c
         abcRec3.c
-        abcSymm.c
+        abcSweep.c
+        abcRunGen.c
+        abcLutmin.c
+        abcReorder.c
         abcDebug.c
-        abcScorr.c
-        abcEco.c
+        abcXsim.c
+        abcUnate.c
+        abcRestruct.c
         abcResub.c
+        abcRpo.c
+        abcMiter.c
+        abcMulti.c
+        abcEco.c
         abcReconv.c
-        abcIf.c
-        abcGen.c
-        abcTim.c
-        abcRestruct.c
-        abcExact.c
-        abcNtbdd.c
-        abcReorder.c
-        abcDress.c
-        abcHaig.c
-        abcQuant.c
-        abcDress3.c
-        abcDress2.c
-        abcIfMux.c
-        abcDec.c
-        abcNpnSave.c
-        abcRr.c
-        abcAttach.c
-        abcNpn.c
-        abcOdc.c
-        abcStrash.c
+        abcMerge.c
         abcMini.c
-        abcSaucy.c
-        abcDsd.c
-        abcSpeedup.c
-        abcRewrite.c
-        abcMfs.c
-        abcDetect.c
-        abcBidec.c
-        abcFraig.c
-        abcMiter.c
+        abcStrash.c
         abcPrint.c
-        abcSat.c
-        abcXsim.c
-        abcRefactor.c
-        abcRunGen.c
-        abc.c
-        abcBalance.c
-        abcCascade.c
+        abcRr.c
         abcRenode.c
-        abcSweep.c
-        abcIfif.c
-        abcProve.c
-        abcUnreach.c
-        abcBmc.c
         abcVerify.c
-        abcCut.c
-        abcPart.c
-        abcTiming.c
+        abcQbf.c
+        abcBmc.c
+        abcSymm.c
+        abcHaig.c
+        abcScorr.c
+        abc.c
+        abcDetect.c
+        abcAuto.c
+        abcMap.c
+        abcSat.c
+        abcGen.c
+        abcDsd.c
         abcDar.c
+        abcLut.c
+        abcIfif.c
+        abcCollapse.c
+        abcNpnSave.c
+        abcNtbdd.c
+        abcExtract.c
+        abcOrder.c
+        abcSaucy.c
+        abcCascade.c
+        abcOrchestration.c
+        abcOdc.c
+        abcDress.c
+        abcExact.c
+        abcCut.c
+        abcTim.c
+        abcIvy.c
+        abcCas.c
+        abcDress2.c
         abcSense.c
-        abcAuto.c
+        abcMfs.c
+        abcSpeedup.c
+        abcReach.c
+        abcIf.c
+        abcRewrite.c
 )
diff --git a/src/base/acb/CMakeLists.txt b/src/base/acb/CMakeLists.txt
index 1576b7687c..e75177562a 100644
--- a/src/base/acb/CMakeLists.txt
+++ b/src/base/acb/CMakeLists.txt
@@ -1,13 +1,13 @@
 abc_libabc_add_sources(
     NAME base_acb
     SOURCES
+        acbPush.c
+        acbFunc.c
+        acbUtil.c
         acbCom.c
-        acbSets.c
         acbAbc.c
+        acbTest.c
         acbMfs.c
+        acbSets.c
         acbAig.c
-        acbPush.c
-        acbTest.c
-        acbUtil.c
-        acbFunc.c
 )
diff --git a/src/base/bac/CMakeLists.txt b/src/base/bac/CMakeLists.txt
index 36b6d7c7a4..b05a4d3ade 100644
--- a/src/base/bac/CMakeLists.txt
+++ b/src/base/bac/CMakeLists.txt
@@ -1,19 +1,19 @@
 abc_libabc_add_sources(
     NAME base_bac
     SOURCES
-        bacWriteBlif.c
-        bacBac.c
-        bacWriteSmt.c
+        bacPtr.c
+        bacCom.c
         bacReadBlif.c
         bacReadSmt.c
-        bacCom.c
-        bacPrsBuild.c
         bacPrsTrans.c
+        bacWriteBlif.c
         bacLib.c
-        bacPtrAbc.c
-        bacNtk.c
         bacReadVer.c
-        bacPtr.c
-        bacWriteVer.c
+        bacPtrAbc.c
         bacBlast.c
+        bacWriteSmt.c
+        bacPrsBuild.c
+        bacWriteVer.c
+        bacNtk.c
+        bacBac.c
 )
diff --git a/src/base/cba/CMakeLists.txt b/src/base/cba/CMakeLists.txt
index befac34d35..2877965c93 100644
--- a/src/base/cba/CMakeLists.txt
+++ b/src/base/cba/CMakeLists.txt
@@ -1,12 +1,12 @@
 abc_libabc_add_sources(
     NAME base_cba
     SOURCES
-        cbaNtk.c
         cbaCba.c
         cbaCom.c
+        cbaReadVer.c
+        cbaReadBlif.c
         cbaWriteVer.c
         cbaBlast.c
         cbaWriteBlif.c
-        cbaReadBlif.c
-        cbaReadVer.c
+        cbaNtk.c
 )
diff --git a/src/base/cmd/CMakeLists.txt b/src/base/cmd/CMakeLists.txt
index 64d2799714..56c4f7d648 100644
--- a/src/base/cmd/CMakeLists.txt
+++ b/src/base/cmd/CMakeLists.txt
@@ -1,14 +1,14 @@
 abc_libabc_add_sources(
     NAME base_cmd
     SOURCES
-        cmdHist.c
-        cmd.c
+        cmdAlias.c
+        cmdAuto.c
         cmdUtils.c
         cmdStarter.c
-        cmdAuto.c
-        cmdApi.c
-        cmdPlugin.c
+        cmd.c
+        cmdHist.c
         cmdLoad.c
+        cmdApi.c
         cmdFlag.c
-        cmdAlias.c
+        cmdPlugin.c
 )
diff --git a/src/base/exor/CMakeLists.txt b/src/base/exor/CMakeLists.txt
index 1b557068d6..d33e750390 100644
--- a/src/base/exor/CMakeLists.txt
+++ b/src/base/exor/CMakeLists.txt
@@ -1,10 +1,10 @@
 abc_libabc_add_sources(
     NAME base_exor
     SOURCES
-        exorList.c
+        exor.c
         exorBits.c
-        exorCubes.c
         exorUtil.c
-        exor.c
+        exorList.c
+        exorCubes.c
         exorLink.c
 )
diff --git a/src/base/io/CMakeLists.txt b/src/base/io/CMakeLists.txt
index 30f90ab904..f7a73f69c4 100644
--- a/src/base/io/CMakeLists.txt
+++ b/src/base/io/CMakeLists.txt
@@ -1,36 +1,36 @@
 abc_libabc_add_sources(
     NAME base_io
     SOURCES
-        ioReadAiger.c
-        ioWriteGml.c
-        ioReadBlif.c
-        ioReadBlifMv.c
-        io.c
-        ioWriteBook.c
-        ioWriteBlifMv.c
-        ioReadEqn.c
-        ioReadBlifAig.c
+        ioReadBench.c
+        ioReadEdif.c
         ioWriteVerilog.c
-        ioReadPlaMo.c
+        ioWriteBench.c
         ioWritePla.c
-        ioWriteEdgelist.c
+        ioWriteGml.c
+        ioReadBblif.c
+        ioReadVerilog.c
         ioWriteBaf.c
-        ioWriteBench.c
-        ioReadEdif.c
-        ioJson.c
-        ioReadPla.c
+        ioReadDsd.c
+        ioWriteDot.c
+        io.c
+        ioWriteEdgelist.c
+        ioReadPlaMo.c
+        ioReadBaf.c
         ioWriteList.c
-        ioWriteEqn.c
+        ioJson.c
+        ioWriteAiger.c
+        ioWriteBook.c
+        ioWriteBblif.c
+        ioReadBlifMv.c
+        ioReadEqn.c
         ioUtil.c
-        ioReadBench.c
+        ioReadBlif.c
+        ioWriteEqn.c
+        ioReadPla.c
+        ioReadAiger.c
+        ioReadBlifAig.c
         ioWriteCnf.c
-        ioWriteBlif.c
-        ioReadBaf.c
-        ioWriteDot.c
-        ioReadVerilog.c
-        ioReadBblif.c
+        ioWriteBlifMv.c
         ioWriteSmv.c
-        ioReadDsd.c
-        ioWriteAiger.c
-        ioWriteBblif.c
+        ioWriteBlif.c
 )
diff --git a/src/base/pla/CMakeLists.txt b/src/base/pla/CMakeLists.txt
index 982ab09501..0211d0918d 100644
--- a/src/base/pla/CMakeLists.txt
+++ b/src/base/pla/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME base_pla
     SOURCES
+        plaCom.c
         plaMerge.c
+        plaHash.c
         plaRead.c
         plaSimple.c
-        plaWrite.c
-        plaHash.c
         plaMan.c
-        plaCom.c
+        plaWrite.c
 )
diff --git a/src/base/ver/CMakeLists.txt b/src/base/ver/CMakeLists.txt
index 76cd3f567e..a1ccc153bc 100644
--- a/src/base/ver/CMakeLists.txt
+++ b/src/base/ver/CMakeLists.txt
@@ -1,8 +1,8 @@
 abc_libabc_add_sources(
     NAME base_ver
     SOURCES
-        verFormula.c
         verParse.c
-        verStream.c
         verCore.c
+        verStream.c
+        verFormula.c
 )
diff --git a/src/base/wlc/CMakeLists.txt b/src/base/wlc/CMakeLists.txt
index 0002d18251..cdd41267ae 100644
--- a/src/base/wlc/CMakeLists.txt
+++ b/src/base/wlc/CMakeLists.txt
@@ -1,23 +1,23 @@
 abc_libabc_add_sources(
     NAME base_wlc
     SOURCES
-        wlcBlast.c
-        wlcAbs.c
+        wlcNdr.c
         wlcPth.c
-        wlcGraft.c
-        wlcShow.c
-        wlcReadSmt.c
-        wlcUif.c
-        wlcStdin.c
+        wlcAbc.c
         wlcCom.c
         wlcJson.c
-        wlcNtk.c
-        wlcNdr.c
-        wlcSim.c
+        wlcStdin.c
         wlcReadVer.c
+        wlcNtk.c
+        wlcAbs.c
+        wlcBlast.c
         wlcMem.c
+        wlcReadSmt.c
+        wlcSim.c
+        wlcShow.c
         wlcAbs2.c
-        wlcAbc.c
         wlcWin.c
         wlcWriteVer.c
+        wlcGraft.c
+        wlcUif.c
 )
diff --git a/src/base/wln/CMakeLists.txt b/src/base/wln/CMakeLists.txt
index 939486d31b..de52a9b46a 100644
--- a/src/base/wln/CMakeLists.txt
+++ b/src/base/wln/CMakeLists.txt
@@ -1,17 +1,17 @@
 abc_libabc_add_sources(
     NAME base_wln
     SOURCES
+        wlnRetime.c
         wlnRead.c
+        wlnWlc.c
+        wlnRtl.c
         wlnMem.c
-        wlnNtk.c
         wlnWriteVer.c
-        wlnCom.c
+        wlnNtk.c
+        wln.c
+        wlnGuide.c
         wlnObj.c
-        wlnNdr.c
-        wlnRtl.c
         wlnBlast.c
-        wlnGuide.c
-        wln.c
-        wlnRetime.c
-        wlnWlc.c
+        wlnNdr.c
+        wlnCom.c
 )
diff --git a/src/bdd/bbr/CMakeLists.txt b/src/bdd/bbr/CMakeLists.txt
index bd867b8e39..95c8128eb1 100644
--- a/src/bdd/bbr/CMakeLists.txt
+++ b/src/bdd/bbr/CMakeLists.txt
@@ -1,8 +1,8 @@
 abc_libabc_add_sources(
     NAME bdd_bbr
     SOURCES
+        bbrImage.c
         bbrCex.c
         bbrReach.c
         bbrNtbdd.c
-        bbrImage.c
 )
diff --git a/src/bdd/cudd/CMakeLists.txt b/src/bdd/cudd/CMakeLists.txt
index c34556fbda..3741da9129 100644
--- a/src/bdd/cudd/CMakeLists.txt
+++ b/src/bdd/cudd/CMakeLists.txt
@@ -1,65 +1,65 @@
 abc_libabc_add_sources(
     NAME bdd_cudd
     SOURCES
-        cuddGenCof.c
+        cuddSat.c
+        cuddMatMult.c
+        cuddWindow.c
+        cuddInteract.c
         cuddZddSetop.c
+        cuddZddIsop.c
+        cuddCompose.c
         cuddInit.c
-        cuddAPI.c
-        cuddGenetic.c
-        cuddLinear.c
-        cuddCache.c
-        cuddClip.c
-        cuddAddInv.c
-        cuddZddReord.c
-        cuddAddFind.c
         cuddSolve.c
-        cuddApa.c
+        cuddBddCorr.c
+        cuddZddPort.c
+        cuddZddGroup.c
+        cuddBddIte.c
+        cuddAndAbs.c
+        cuddSubsetHB.c
+        cuddReorder.c
+        cuddLinear.c
+        cuddGenCof.c
         cuddAnneal.c
-        cuddExact.c
-        cuddLiteral.c
-        cuddBddAbs.c
-        cuddWindow.c
         cuddAddAbs.c
-        cuddLCache.c
-        cuddZddPort.c
-        cuddHarwell.c
+        cuddAddFind.c
+        cuddUtil.c
+        cuddCof.c
         cuddLevelQ.c
-        cuddZddLin.c
+        cuddEssent.c
+        cuddClip.c
+        cuddCheck.c
+        cuddApa.c
         cuddSplit.c
+        cuddApprox.c
+        cuddZddUtil.c
+        cuddGroup.c
+        cuddZddLin.c
+        cuddHarwell.c
         cuddDecomp.c
-        cuddExport.c
         cuddAddNeg.c
-        cuddGroup.c
-        cuddSymmetry.c
-        cuddZddMisc.c
-        cuddBddIte.c
-        cuddPriority.c
-        cuddEssent.c
         cuddSubsetSP.c
-        cuddZddCount.c
-        cuddCheck.c
-        cuddZddGroup.c
-        cuddBddCorr.c
-        cuddAddApply.c
-        cuddCompose.c
-        cuddSubsetHB.c
-        cuddSat.c
-        cuddRef.c
-        cuddUtil.c
-        cuddCof.c
-        cuddZddIsop.c
-        cuddZddFuncs.c
         cuddAddWalsh.c
-        cuddApprox.c
-        cuddZddUtil.c
-        cuddSign.c
-        cuddTable.c
+        cuddAddApply.c
+        cuddCache.c
+        cuddGenetic.c
+        cuddExport.c
+        cuddZddMisc.c
+        cuddExact.c
         cuddBridge.c
-        cuddMatMult.c
-        cuddReorder.c
+        cuddZddCount.c
+        cuddAddIte.c
         cuddZddSymm.c
-        cuddInteract.c
-        cuddAndAbs.c
+        cuddLiteral.c
+        cuddZddReord.c
+        cuddSign.c
+        cuddBddAbs.c
+        cuddZddFuncs.c
+        cuddSymmetry.c
+        cuddAPI.c
+        cuddPriority.c
+        cuddRef.c
+        cuddLCache.c
+        cuddAddInv.c
+        cuddTable.c
         cuddRead.c
-        cuddAddIte.c
 )
diff --git a/src/bdd/dsd/CMakeLists.txt b/src/bdd/dsd/CMakeLists.txt
index faf03444ba..93d42de977 100644
--- a/src/bdd/dsd/CMakeLists.txt
+++ b/src/bdd/dsd/CMakeLists.txt
@@ -1,10 +1,10 @@
 abc_libabc_add_sources(
     NAME bdd_dsd
     SOURCES
-        dsdCheck.c
-        dsdProc.c
-        dsdTree.c
         dsdMan.c
         dsdLocal.c
         dsdApi.c
+        dsdTree.c
+        dsdCheck.c
+        dsdProc.c
 )
diff --git a/src/bdd/extrab/CMakeLists.txt b/src/bdd/extrab/CMakeLists.txt
index f88ff090de..7fb972cd5d 100644
--- a/src/bdd/extrab/CMakeLists.txt
+++ b/src/bdd/extrab/CMakeLists.txt
@@ -1,15 +1,15 @@
 abc_libabc_add_sources(
     NAME bdd_extrab
     SOURCES
-        extraBddTime.c
-        extraBddMisc.c
+        extraBddAuto.c
         extraBddImage.c
-        extraBddThresh.c
         extraBddCas.c
-        extraBddSymm.c
-        extraBddMaxMin.c
-        extraBddAuto.c
         extraBddUnate.c
-        extraBddKmap.c
         extraBddSet.c
+        extraBddMisc.c
+        extraBddSymm.c
+        extraBddKmap.c
+        extraBddTime.c
+        extraBddMaxMin.c
+        extraBddThresh.c
 )
diff --git a/src/bdd/llb/CMakeLists.txt b/src/bdd/llb/CMakeLists.txt
index 2034129eb7..2ccd3b3561 100644
--- a/src/bdd/llb/CMakeLists.txt
+++ b/src/bdd/llb/CMakeLists.txt
@@ -1,26 +1,26 @@
 abc_libabc_add_sources(
     NAME bdd_llb
     SOURCES
-        llb1Matrix.c
-        llb1Hint.c
-        llb1Constr.c
-        llb1Core.c
-        llb1Cluster.c
+        llb2Driver.c
         llb1Reach.c
-        llb2Image.c
+        llb1Cluster.c
+        llb1Core.c
         llb1Sched.c
-        llb2Driver.c
-        llb2Dump.c
+        llb3Nonlin.c
+        llb1Hint.c
         llb4Cex.c
-        llb2Flow.c
-        llb4Image.c
         llb4Nonlin.c
-        llb1Pivot.c
+        llb4Sweep.c
         llb3Image.c
-        llb1Group.c
         llb2Bad.c
-        llb3Nonlin.c
-        llb4Sweep.c
-        llb2Core.c
+        llb1Matrix.c
+        llb2Flow.c
+        llb1Group.c
+        llb2Image.c
+        llb1Pivot.c
+        llb1Constr.c
+        llb4Image.c
         llb1Man.c
+        llb2Core.c
+        llb2Dump.c
 )
diff --git a/src/bdd/mtr/CMakeLists.txt b/src/bdd/mtr/CMakeLists.txt
index 634875995a..cf84703ef8 100644
--- a/src/bdd/mtr/CMakeLists.txt
+++ b/src/bdd/mtr/CMakeLists.txt
@@ -1,6 +1,6 @@
 abc_libabc_add_sources(
     NAME bdd_mtr
     SOURCES
-        mtrBasic.c
         mtrGroup.c
+        mtrBasic.c
 )
diff --git a/src/bdd/reo/CMakeLists.txt b/src/bdd/reo/CMakeLists.txt
index 092b78496d..44e01f199b 100644
--- a/src/bdd/reo/CMakeLists.txt
+++ b/src/bdd/reo/CMakeLists.txt
@@ -1,12 +1,12 @@
 abc_libabc_add_sources(
     NAME bdd_reo
     SOURCES
-        reoApi.c
-        reoProfile.c
-        reoSwap.c
-        reoUnits.c
-        reoCore.c
         reoShuffle.c
-        reoSift.c
         reoTransfer.c
+        reoSift.c
+        reoSwap.c
+        reoCore.c
+        reoUnits.c
+        reoProfile.c
+        reoApi.c
 )
diff --git a/src/bool/bdc/CMakeLists.txt b/src/bool/bdc/CMakeLists.txt
index 77b3c7d009..bab8aecab8 100644
--- a/src/bool/bdc/CMakeLists.txt
+++ b/src/bool/bdc/CMakeLists.txt
@@ -1,8 +1,8 @@
 abc_libabc_add_sources(
     NAME bool_bdc
     SOURCES
-        bdcSpfd.c
         bdcCore.c
-        bdcDec.c
         bdcTable.c
+        bdcSpfd.c
+        bdcDec.c
 )
diff --git a/src/bool/dec/CMakeLists.txt b/src/bool/dec/CMakeLists.txt
index 7cc9dc51fe..dfbecf7c91 100644
--- a/src/bool/dec/CMakeLists.txt
+++ b/src/bool/dec/CMakeLists.txt
@@ -1,9 +1,9 @@
 abc_libabc_add_sources(
     NAME bool_dec
     SOURCES
+        decMan.c
         decFactor.c
-        decAbc.c
         decPrint.c
-        decMan.c
+        decAbc.c
         decUtil.c
 )
diff --git a/src/bool/kit/CMakeLists.txt b/src/bool/kit/CMakeLists.txt
index 74749640d2..0b256cf481 100644
--- a/src/bool/kit/CMakeLists.txt
+++ b/src/bool/kit/CMakeLists.txt
@@ -1,16 +1,16 @@
 abc_libabc_add_sources(
     NAME bool_kit
     SOURCES
-        kitBdd.c
+        kitDsd.c
+        kitTruth.c
         kitCloud.c
-        kitGraph.c
+        kitBdd.c
         kitIsop.c
-        kitSop.c
-        kitHop.c
-        kitTruth.c
-        kitPla.c
-        kitDsd.c
         kitFactor.c
-        kitAig.c
         cloud.c
+        kitAig.c
+        kitPla.c
+        kitSop.c
+        kitHop.c
+        kitGraph.c
 )
diff --git a/src/bool/lucky/CMakeLists.txt b/src/bool/lucky/CMakeLists.txt
index f51bb325cc..b186e342e3 100644
--- a/src/bool/lucky/CMakeLists.txt
+++ b/src/bool/lucky/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME bool_lucky
     SOURCES
-        luckyRead.c
-        lucky.c
+        luckyFast16.c
         luckySimple.c
+        luckySwapIJ.c
+        luckyRead.c
         luckyFast6.c
         luckySwap.c
-        luckyFast16.c
-        luckySwapIJ.c
+        lucky.c
 )
diff --git a/src/bool/rsb/CMakeLists.txt b/src/bool/rsb/CMakeLists.txt
index 7c3157ada7..57bf6b8fa0 100644
--- a/src/bool/rsb/CMakeLists.txt
+++ b/src/bool/rsb/CMakeLists.txt
@@ -1,6 +1,6 @@
 abc_libabc_add_sources(
     NAME bool_rsb
     SOURCES
-        rsbDec6.c
         rsbMan.c
+        rsbDec6.c
 )
diff --git a/src/map/amap/CMakeLists.txt b/src/map/amap/CMakeLists.txt
index 864929dea1..912f4241ed 100644
--- a/src/map/amap/CMakeLists.txt
+++ b/src/map/amap/CMakeLists.txt
@@ -1,17 +1,17 @@
 abc_libabc_add_sources(
     NAME map_amap
     SOURCES
+        amapOutput.c
+        amapCore.c
         amapRead.c
-        amapMatch.c
-        amapRule.c
-        amapGraph.c
+        amapMan.c
         amapLib.c
+        amapLiberty.c
         amapMerge.c
+        amapMatch.c
         amapPerm.c
-        amapUniq.c
-        amapLiberty.c
         amapParse.c
-        amapOutput.c
-        amapMan.c
-        amapCore.c
+        amapGraph.c
+        amapRule.c
+        amapUniq.c
 )
diff --git a/src/map/cov/CMakeLists.txt b/src/map/cov/CMakeLists.txt
index 7933c77ad1..6d2f0106e4 100644
--- a/src/map/cov/CMakeLists.txt
+++ b/src/map/cov/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME map_cov
     SOURCES
+        covMinSop.c
+        covMinEsop.c
+        covMinUtil.c
         covBuild.c
         covMinMan.c
-        covMinUtil.c
-        covMinEsop.c
-        covMinSop.c
         covCore.c
         covMan.c
 )
diff --git a/src/map/fpga/CMakeLists.txt b/src/map/fpga/CMakeLists.txt
index 16eff7ce3d..cc5b96ba8c 100644
--- a/src/map/fpga/CMakeLists.txt
+++ b/src/map/fpga/CMakeLists.txt
@@ -1,17 +1,17 @@
 abc_libabc_add_sources(
     NAME map_fpga
     SOURCES
-        fpgaUtils.c
+        fpgaFanout.c
         fpga.c
-        fpgaCreate.c
-        fpgaTime.c
-        fpgaLib.c
         fpgaTruth.c
-        fpgaSwitch.c
-        fpgaCutUtils.c
-        fpgaFanout.c
-        fpgaCut.c
+        fpgaLib.c
         fpgaMatch.c
+        fpgaCreate.c
+        fpgaTime.c
         fpgaVec.c
+        fpgaUtils.c
+        fpgaCut.c
         fpgaCore.c
+        fpgaCutUtils.c
+        fpgaSwitch.c
 )
diff --git a/src/map/if/CMakeLists.txt b/src/map/if/CMakeLists.txt
index 8330f1770a..1572039fb9 100644
--- a/src/map/if/CMakeLists.txt
+++ b/src/map/if/CMakeLists.txt
@@ -1,30 +1,30 @@
 abc_libabc_add_sources(
     NAME map_if
     SOURCES
-        ifTruth.c
+        ifDsd.c
+        ifLibLut.c
+        ifSeq.c
+        ifCut.c
         ifLibBox.c
+        ifMatch2.c
         ifTest.c
-        ifCore.c
-        ifCache.c
         ifSelect.c
-        ifDsd.c
-        ifTune.c
-        ifUtil.c
+        ifCore.c
+        ifTime.c
         ifData2.c
         ifReduce.c
+        ifCom.c
+        ifDec07.c
+        ifDec08.c
         ifDec16.c
+        ifDec75.c
+        ifTune.c
+        ifTruth.c
         ifDec10.c
-        ifDec08.c
-        ifSat.c
+        ifMap.c
         ifMan.c
-        ifLibLut.c
-        ifDec75.c
+        ifCache.c
+        ifSat.c
+        ifUtil.c
         ifDelay.c
-        ifSeq.c
-        ifDec07.c
-        ifCut.c
-        ifMatch2.c
-        ifTime.c
-        ifCom.c
-        ifMap.c
 )
diff --git a/src/map/mapper/CMakeLists.txt b/src/map/mapper/CMakeLists.txt
index 21a7465424..168154e6ec 100644
--- a/src/map/mapper/CMakeLists.txt
+++ b/src/map/mapper/CMakeLists.txt
@@ -1,21 +1,21 @@
 abc_libabc_add_sources(
     NAME map_mapper
     SOURCES
+        mapperMatch.c
+        mapper.c
+        mapperSuper.c
+        mapperTable.c
         mapperRefs.c
         mapperTime.c
-        mapperLib.c
-        mapperTable.c
-        mapper.c
-        mapperUtils.c
-        mapperCutUtils.c
-        mapperTree.c
         mapperTruth.c
+        mapperCore.c
         mapperCreate.c
+        mapperCutUtils.c
         mapperSwitch.c
-        mapperCore.c
         mapperCut.c
-        mapperVec.c
-        mapperSuper.c
-        mapperMatch.c
         mapperCanon.c
+        mapperUtils.c
+        mapperTree.c
+        mapperLib.c
+        mapperVec.c
 )
diff --git a/src/map/mio/CMakeLists.txt b/src/map/mio/CMakeLists.txt
index c727791989..ae9ecee8e0 100644
--- a/src/map/mio/CMakeLists.txt
+++ b/src/map/mio/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME map_mio
     SOURCES
-        mioParse.c
-        mioRead.c
-        mio.c
-        mioUtils.c
+        mioFunc.c
         mioSop.c
         mioApi.c
-        mioFunc.c
+        mioUtils.c
+        mioParse.c
+        mio.c
+        mioRead.c
 )
diff --git a/src/map/mpm/CMakeLists.txt b/src/map/mpm/CMakeLists.txt
index 80b8eedeee..27990a653c 100644
--- a/src/map/mpm/CMakeLists.txt
+++ b/src/map/mpm/CMakeLists.txt
@@ -1,15 +1,15 @@
 abc_libabc_add_sources(
     NAME map_mpm
     SOURCES
-        mpmUtil.c
-        mpmAbc.c
-        mpmPre.c
-        mpmDsd.c
-        mpmMig.c
+        mpmTruth.c
         mpmGates.c
+        mpmAbc.c
         mpmMan.c
+        mpmMig.c
+        mpmUtil.c
+        mpmDsd.c
         mpmMap.c
         mpmLib.c
+        mpmPre.c
         mpmCore.c
-        mpmTruth.c
 )
diff --git a/src/map/scl/CMakeLists.txt b/src/map/scl/CMakeLists.txt
index 196bf147be..ceb7aa6b14 100644
--- a/src/map/scl/CMakeLists.txt
+++ b/src/map/scl/CMakeLists.txt
@@ -1,15 +1,15 @@
 abc_libabc_add_sources(
     NAME map_scl
     SOURCES
-        sclLoad.c
-        scl.c
-        sclSize.c
         sclDnsize.c
+        sclBufSize.c
         sclLibUtil.c
+        scl.c
+        sclSize.c
+        sclBuffer.c
         sclUpsize.c
+        sclLoad.c
         sclUtil.c
         sclLibScl.c
-        sclBufSize.c
-        sclBuffer.c
         sclLiberty.c
 )
diff --git a/src/map/super/CMakeLists.txt b/src/map/super/CMakeLists.txt
index f827cecf65..97828f5a50 100644
--- a/src/map/super/CMakeLists.txt
+++ b/src/map/super/CMakeLists.txt
@@ -1,7 +1,7 @@
 abc_libabc_add_sources(
     NAME map_super
     SOURCES
-        super.c
-        superAnd.c
         superGate.c
+        superAnd.c
+        super.c
 )
diff --git a/src/misc/bzlib/CMakeLists.txt b/src/misc/bzlib/CMakeLists.txt
index c81fe80bf0..cf5ec56f60 100644
--- a/src/misc/bzlib/CMakeLists.txt
+++ b/src/misc/bzlib/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME misc_bzlib
     SOURCES
-        decompress.c
-        crctable.c
+        huffman.c
         randtable.c
         compress.c
+        decompress.c
         blocksort.c
         bzlib.c
-        huffman.c
+        crctable.c
 )
diff --git a/src/misc/espresso/CMakeLists.txt b/src/misc/espresso/CMakeLists.txt
index 2c96cbb42c..27d62c182a 100644
--- a/src/misc/espresso/CMakeLists.txt
+++ b/src/misc/espresso/CMakeLists.txt
@@ -1,43 +1,43 @@
 abc_libabc_add_sources(
     NAME misc_espresso
     SOURCES
-        setc.c
-        exact.c
-        equiv.c
-        sparse.c
-        essen.c
-        globals.c
-        cvrmisc.c
-        cvrout.c
-        indep.c
-        primes.c
-        part.c
+        sminterf.c
         expand.c
-        cvrm.c
+        gasp.c
+        cofactor.c
+        cubehack.c
+        dominate.c
         unate.c
-        espresso.c
-        rows.c
-        reduce.c
-        map.c
-        cols.c
+        cvrm.c
+        equiv.c
         irred.c
-        cubehack.c
-        cvrin.c
+        cols.c
+        compl.c
+        part.c
+        exact.c
+        contain.c
+        matrix.c
+        cvrout.c
         pair.c
-        sminterf.c
+        indep.c
+        rows.c
         hack.c
-        matrix.c
-        cubestr.c
-        contain.c
+        setc.c
         set.c
-        sharp.c
+        essen.c
+        espresso.c
         mincov.c
-        gasp.c
         gimpel.c
+        globals.c
+        solution.c
+        sparse.c
+        primes.c
+        map.c
+        reduce.c
         opo.c
-        dominate.c
-        cofactor.c
+        cubestr.c
+        sharp.c
+        cvrmisc.c
+        cvrin.c
         verify.c
-        compl.c
-        solution.c
 )
diff --git a/src/misc/extra/CMakeLists.txt b/src/misc/extra/CMakeLists.txt
index 76484819d6..56779e92c8 100644
--- a/src/misc/extra/CMakeLists.txt
+++ b/src/misc/extra/CMakeLists.txt
@@ -1,24 +1,24 @@
 abc_libabc_add_sources(
     NAME misc_extra
     SOURCES
-        extraUtilTruth.c
-        extraUtilMaj.c
-        extraUtilMemory.c
-        extraUtilProgress.c
-        extraUtilUtil.c
+        extraUtilCfs.c
         extraUtilReader.c
+        extraUtilDsd.c
         extraUtilPath.c
-        extraUtilBitMatrix.c
+        extraUtilUtil.c
         extraUtilGen.c
-        extraUtilCanon.c
-        extraUtilDsd.c
-        extraUtilCfs.c
+        extraUtilPerm.c
         extraUtilEnum.c
-        extraUtilMisc.c
-        extraUtilFile.c
-        extraUtilMult.c
+        extraUtilBitMatrix.c
+        extraUtilTruth.c
         extraUtilMacc.c
+        extraUtilMult.c
+        extraUtilCanon.c
+        extraUtilFile.c
+        extraUtilMisc.c
+        extraUtilMaj.c
+        extraUtilProgress.c
         extraUtilCube.c
         extraUtilSupp.c
-        extraUtilPerm.c
+        extraUtilMemory.c
 )
diff --git a/src/misc/mvc/CMakeLists.txt b/src/misc/mvc/CMakeLists.txt
index 496140f9f2..264d321b46 100644
--- a/src/misc/mvc/CMakeLists.txt
+++ b/src/misc/mvc/CMakeLists.txt
@@ -1,19 +1,19 @@
 abc_libabc_add_sources(
     NAME misc_mvc
     SOURCES
+        mvcUtils.c
         mvcApi.c
-        mvcOpAlg.c
-        mvcMan.c
-        mvcCompare.c
-        mvcPrint.c
+        mvcSort.c
         mvcDivide.c
+        mvcPrint.c
         mvcLits.c
-        mvcDivisor.c
+        mvcOpAlg.c
+        mvcCompare.c
         mvcList.c
-        mvcOpBool.c
         mvcContain.c
-        mvcSort.c
-        mvcUtils.c
         mvcCube.c
+        mvcOpBool.c
+        mvcMan.c
         mvcCover.c
+        mvcDivisor.c
 )
diff --git a/src/misc/tim/CMakeLists.txt b/src/misc/tim/CMakeLists.txt
index d3cd3dd31b..e77b041b7e 100644
--- a/src/misc/tim/CMakeLists.txt
+++ b/src/misc/tim/CMakeLists.txt
@@ -3,7 +3,7 @@ abc_libabc_add_sources(
     SOURCES
         timDump.c
         timMan.c
+        timTrav.c
         timBox.c
         timTime.c
-        timTrav.c
 )
diff --git a/src/misc/util/CMakeLists.txt b/src/misc/util/CMakeLists.txt
index d187da49b5..d64f7e0e47 100644
--- a/src/misc/util/CMakeLists.txt
+++ b/src/misc/util/CMakeLists.txt
@@ -1,12 +1,12 @@
 abc_libabc_add_sources(
     NAME misc_util
     SOURCES
-        utilIsop.c
-        utilNam.c
-        utilFile.c
         utilSort.c
-        utilCex.c
+        utilIsop.c
         utilSignal.c
         utilColor.c
+        utilNam.c
         utilBridge.c
+        utilCex.c
+        utilFile.c
 )
diff --git a/src/misc/zlib/CMakeLists.txt b/src/misc/zlib/CMakeLists.txt
index 22adb0ee78..3f393228c0 100644
--- a/src/misc/zlib/CMakeLists.txt
+++ b/src/misc/zlib/CMakeLists.txt
@@ -1,19 +1,19 @@
 abc_libabc_add_sources(
     NAME misc_zlib
     SOURCES
-        deflate.c
-        compress_.c
-        inflate.c
-        uncompr.c
-        gzclose.c
-        gzread.c
-        inftrees.c
         inffast.c
-        crc32.c
-        adler32.c
         gzwrite.c
+        inftrees.c
+        adler32.c
+        crc32.c
+        gzlib.c
+        deflate.c
         zutil.c
+        inflate.c
+        gzclose.c
         trees.c
-        gzlib.c
+        gzread.c
         infback.c
+        uncompr.c
+        compress_.c
 )
diff --git a/src/opt/cgt/CMakeLists.txt b/src/opt/cgt/CMakeLists.txt
index 09618127a4..3419470b54 100644
--- a/src/opt/cgt/CMakeLists.txt
+++ b/src/opt/cgt/CMakeLists.txt
@@ -1,9 +1,9 @@
 abc_libabc_add_sources(
     NAME opt_cgt
     SOURCES
-        cgtCore.c
-        cgtSat.c
-        cgtAig.c
         cgtMan.c
         cgtDecide.c
+        cgtAig.c
+        cgtCore.c
+        cgtSat.c
 )
diff --git a/src/opt/csw/CMakeLists.txt b/src/opt/csw/CMakeLists.txt
index ec48bba053..4f2566b766 100644
--- a/src/opt/csw/CMakeLists.txt
+++ b/src/opt/csw/CMakeLists.txt
@@ -1,8 +1,8 @@
 abc_libabc_add_sources(
     NAME opt_csw
     SOURCES
-        cswCut.c
         cswTable.c
+        cswCut.c
         cswCore.c
         cswMan.c
 )
diff --git a/src/opt/cut/CMakeLists.txt b/src/opt/cut/CMakeLists.txt
index 8720329caa..c9902c61b2 100644
--- a/src/opt/cut/CMakeLists.txt
+++ b/src/opt/cut/CMakeLists.txt
@@ -1,13 +1,13 @@
 abc_libabc_add_sources(
     NAME opt_cut
     SOURCES
-        cutPre22.c
-        cutCut.c
-        cutApi.c
         cutOracle.c
+        cutApi.c
         cutNode.c
+        cutSeq.c
+        cutPre22.c
         cutMerge.c
         cutTruth.c
-        cutSeq.c
+        cutCut.c
         cutMan.c
 )
diff --git a/src/opt/dar/CMakeLists.txt b/src/opt/dar/CMakeLists.txt
index f391522599..654d57dab0 100644
--- a/src/opt/dar/CMakeLists.txt
+++ b/src/opt/dar/CMakeLists.txt
@@ -1,13 +1,13 @@
 abc_libabc_add_sources(
     NAME opt_dar
     SOURCES
+        darCut.c
+        darScript.c
+        darRefact.c
         darCore.c
-        darPrec.c
         darData.c
-        darCut.c
         darBalance.c
-        darRefact.c
         darMan.c
         darLib.c
-        darScript.c
+        darPrec.c
 )
diff --git a/src/opt/dau/CMakeLists.txt b/src/opt/dau/CMakeLists.txt
index 7df058a12f..7989632238 100644
--- a/src/opt/dau/CMakeLists.txt
+++ b/src/opt/dau/CMakeLists.txt
@@ -1,16 +1,16 @@
 abc_libabc_add_sources(
     NAME opt_dau
     SOURCES
+        dauNpn.c
         dauDsd.c
-        dauDivs.c
-        dauCore.c
         dauGia.c
-        dauCanon.c
+        dauCount.c
         dauNonDsd.c
+        dauDivs.c
+        dauNpn2.c
+        dauCore.c
         dauMerge.c
-        dauTree.c
-        dauCount.c
         dauEnum.c
-        dauNpn.c
-        dauNpn2.c
+        dauCanon.c
+        dauTree.c
 )
diff --git a/src/opt/fret/CMakeLists.txt b/src/opt/fret/CMakeLists.txt
index 14a14d03a4..8774bb4908 100644
--- a/src/opt/fret/CMakeLists.txt
+++ b/src/opt/fret/CMakeLists.txt
@@ -2,7 +2,7 @@ abc_libabc_add_sources(
     NAME opt_fret
     SOURCES
         fretInit.c
+        fretFlow.c
         fretTime.c
         fretMain.c
-        fretFlow.c
 )
diff --git a/src/opt/fsim/CMakeLists.txt b/src/opt/fsim/CMakeLists.txt
index ea8a9d3b17..53b06a2a8a 100644
--- a/src/opt/fsim/CMakeLists.txt
+++ b/src/opt/fsim/CMakeLists.txt
@@ -1,10 +1,10 @@
 abc_libabc_add_sources(
     NAME opt_fsim
     SOURCES
-        fsimFront.c
-        fsimSwitch.c
+        fsimTsim.c
         fsimCore.c
-        fsimSim.c
+        fsimSwitch.c
         fsimMan.c
-        fsimTsim.c
+        fsimFront.c
+        fsimSim.c
 )
diff --git a/src/opt/fxch/CMakeLists.txt b/src/opt/fxch/CMakeLists.txt
index 1ba0e72e8c..def3fcbf7a 100644
--- a/src/opt/fxch/CMakeLists.txt
+++ b/src/opt/fxch/CMakeLists.txt
@@ -1,8 +1,8 @@
 abc_libabc_add_sources(
     NAME opt_fxch
     SOURCES
-        Fxch.c
-        FxchDiv.c
         FxchSCHashTable.c
+        FxchDiv.c
+        Fxch.c
         FxchMan.c
 )
diff --git a/src/opt/fxu/CMakeLists.txt b/src/opt/fxu/CMakeLists.txt
index c8dac35096..c361a3cbe2 100644
--- a/src/opt/fxu/CMakeLists.txt
+++ b/src/opt/fxu/CMakeLists.txt
@@ -1,16 +1,16 @@
 abc_libabc_add_sources(
     NAME opt_fxu
     SOURCES
-        fxuHeapD.c
         fxuHeapS.c
-        fxuList.c
-        fxuMatrix.c
-        fxuUpdate.c
         fxuSelect.c
-        fxuPrint.c
-        fxuCreate.c
+        fxuUpdate.c
+        fxuList.c
+        fxuHeapD.c
         fxu.c
+        fxuSingle.c
         fxuReduce.c
         fxuPair.c
-        fxuSingle.c
+        fxuPrint.c
+        fxuCreate.c
+        fxuMatrix.c
 )
diff --git a/src/opt/lpk/CMakeLists.txt b/src/opt/lpk/CMakeLists.txt
index 3a9e5e8cb3..0ec4669889 100644
--- a/src/opt/lpk/CMakeLists.txt
+++ b/src/opt/lpk/CMakeLists.txt
@@ -1,15 +1,15 @@
 abc_libabc_add_sources(
     NAME opt_lpk
     SOURCES
+        lpkAbcMux.c
         lpkCore.c
-        lpkMan.c
+        lpkMulti.c
         lpkSets.c
-        lpkAbcUtil.c
         lpkAbcDsd.c
-        lpkMulti.c
+        lpkAbcUtil.c
+        lpkAbcDec.c
         lpkCut.c
         lpkMap.c
-        lpkAbcMux.c
         lpkMux.c
-        lpkAbcDec.c
+        lpkMan.c
 )
diff --git a/src/opt/mfs/CMakeLists.txt b/src/opt/mfs/CMakeLists.txt
index 1c62f0f68b..333b317e7d 100644
--- a/src/opt/mfs/CMakeLists.txt
+++ b/src/opt/mfs/CMakeLists.txt
@@ -1,12 +1,12 @@
 abc_libabc_add_sources(
     NAME opt_mfs
     SOURCES
-        mfsSat.c
+        mfsCore.c
+        mfsStrash.c
         mfsResub.c
+        mfsDiv.c
         mfsWin.c
-        mfsStrash.c
-        mfsCore.c
         mfsMan.c
         mfsInter.c
-        mfsDiv.c
+        mfsSat.c
 )
diff --git a/src/opt/nwk/CMakeLists.txt b/src/opt/nwk/CMakeLists.txt
index 9d31400c50..ba9918990b 100644
--- a/src/opt/nwk/CMakeLists.txt
+++ b/src/opt/nwk/CMakeLists.txt
@@ -1,18 +1,18 @@
 abc_libabc_add_sources(
     NAME opt_nwk
     SOURCES
-        nwkAig.c
-        nwkMap.c
+        nwkBidec.c
+        nwkStrash.c
         nwkTiming.c
+        nwkMan.c
         nwkFanio.c
-        nwkFlow.c
-        nwkCheck.c
         nwkUtil.c
+        nwkDfs.c
+        nwkMap.c
+        nwkFlow.c
+        nwkObj.c
+        nwkAig.c
         nwkSpeedup.c
+        nwkCheck.c
         nwkMerge.c
-        nwkBidec.c
-        nwkObj.c
-        nwkDfs.c
-        nwkMan.c
-        nwkStrash.c
 )
diff --git a/src/opt/res/CMakeLists.txt b/src/opt/res/CMakeLists.txt
index 34a95ca143..260474a9ce 100644
--- a/src/opt/res/CMakeLists.txt
+++ b/src/opt/res/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME opt_res
     SOURCES
+        resStrash.c
         resSat.c
-        resDivs.c
         resFilter.c
-        resStrash.c
         resWin.c
-        resSim.c
         resCore.c
+        resSim.c
+        resDivs.c
 )
diff --git a/src/opt/ret/CMakeLists.txt b/src/opt/ret/CMakeLists.txt
index f8833f0255..16514479ce 100644
--- a/src/opt/ret/CMakeLists.txt
+++ b/src/opt/ret/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME opt_ret
     SOURCES
+        retDelay.c
         retCore.c
-        retArea.c
+        retInit.c
         retLvalue.c
-        retFlow.c
-        retDelay.c
         retIncrem.c
-        retInit.c
+        retArea.c
+        retFlow.c
 )
diff --git a/src/opt/rwr/CMakeLists.txt b/src/opt/rwr/CMakeLists.txt
index 102e1b3495..b7ef5b1166 100644
--- a/src/opt/rwr/CMakeLists.txt
+++ b/src/opt/rwr/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME opt_rwr
     SOURCES
-        rwrPrint.c
         rwrDec.c
         rwrExp.c
-        rwrEva.c
         rwrLib.c
-        rwrUtil.c
+        rwrPrint.c
+        rwrEva.c
         rwrMan.c
+        rwrUtil.c
 )
diff --git a/src/opt/rwt/CMakeLists.txt b/src/opt/rwt/CMakeLists.txt
index 29f1e55cf4..a3c389875f 100644
--- a/src/opt/rwt/CMakeLists.txt
+++ b/src/opt/rwt/CMakeLists.txt
@@ -2,6 +2,6 @@ abc_libabc_add_sources(
     NAME opt_rwt
     SOURCES
         rwtMan.c
-        rwtDec.c
         rwtUtil.c
+        rwtDec.c
 )
diff --git a/src/opt/sbd/CMakeLists.txt b/src/opt/sbd/CMakeLists.txt
index 0259254c8b..b618e8367b 100644
--- a/src/opt/sbd/CMakeLists.txt
+++ b/src/opt/sbd/CMakeLists.txt
@@ -1,13 +1,13 @@
 abc_libabc_add_sources(
     NAME opt_sbd
     SOURCES
-        sbdWin.c
-        sbdPath.c
-        sbdCut2.c
+        sbdCore.c
         sbd.c
-        sbdCnf.c
-        sbdLut.c
         sbdCut.c
+        sbdCut2.c
+        sbdWin.c
         sbdSat.c
-        sbdCore.c
+        sbdPath.c
+        sbdLut.c
+        sbdCnf.c
 )
diff --git a/src/opt/sfm/CMakeLists.txt b/src/opt/sfm/CMakeLists.txt
index 3d033d67d6..c03b1c141e 100644
--- a/src/opt/sfm/CMakeLists.txt
+++ b/src/opt/sfm/CMakeLists.txt
@@ -2,13 +2,13 @@ abc_libabc_add_sources(
     NAME opt_sfm
     SOURCES
         sfmCore.c
-        sfmDec.c
-        sfmTim.c
-        sfmSat.c
+        sfmMit.c
         sfmLib.c
-        sfmNtk.c
-        sfmArea.c
         sfmWin.c
-        sfmMit.c
+        sfmArea.c
         sfmCnf.c
+        sfmTim.c
+        sfmNtk.c
+        sfmDec.c
+        sfmSat.c
 )
diff --git a/src/opt/sim/CMakeLists.txt b/src/opt/sim/CMakeLists.txt
index 126a3863e2..ae09e3c40d 100644
--- a/src/opt/sim/CMakeLists.txt
+++ b/src/opt/sim/CMakeLists.txt
@@ -1,13 +1,13 @@
 abc_libabc_add_sources(
     NAME opt_sim
     SOURCES
-        simSwitch.c
-        simSymSat.c
-        simSymSim.c
-        simSym.c
-        simMan.c
         simSeq.c
+        simSymSim.c
         simUtils.c
         simSupp.c
+        simMan.c
+        simSwitch.c
         simSymStr.c
+        simSymSat.c
+        simSym.c
 )
diff --git a/src/phys/place/CMakeLists.txt b/src/phys/place/CMakeLists.txt
index 0b92918631..841cd830f2 100644
--- a/src/phys/place/CMakeLists.txt
+++ b/src/phys/place/CMakeLists.txt
@@ -1,14 +1,14 @@
 abc_libabc_add_sources(
     NAME phys_place
     SOURCES
-        place_bin.c
+        place_inc.c
+        place_qpsolver.c
+        place_pads.c
         place_genqp.c
         place_legalize.c
         place_partition.c
+        place_io.c
+        place_bin.c
         place_base.c
         place_gordian.c
-        place_inc.c
-        place_qpsolver.c
-        place_io.c
-        place_pads.c
 )
diff --git a/src/proof/abs/CMakeLists.txt b/src/proof/abs/CMakeLists.txt
index 4544c4e3f9..2ad429538d 100644
--- a/src/proof/abs/CMakeLists.txt
+++ b/src/proof/abs/CMakeLists.txt
@@ -1,20 +1,20 @@
 abc_libabc_add_sources(
     NAME proof_abs
     SOURCES
-        absIter.c
-        absRefSelect.c
-        absOut.c
-        absGla.c
-        absOldSim.c
+        absGlaOld.c
+        absPth.c
         absOldRef.c
+        absOldSim.c
+        absVta.c
+        absOldSat.c
+        absIter.c
+        absUtil.c
+        absRpmOld.c
         absOldCex.c
+        absGla.c
         absDup.c
-        absPth.c
         absRef.c
-        absUtil.c
-        absVta.c
-        absOldSat.c
-        absGlaOld.c
         absRpm.c
-        absRpmOld.c
+        absOut.c
+        absRefSelect.c
 )
diff --git a/src/proof/acec/CMakeLists.txt b/src/proof/acec/CMakeLists.txt
index bb8185d450..3df6fa529a 100644
--- a/src/proof/acec/CMakeLists.txt
+++ b/src/proof/acec/CMakeLists.txt
@@ -1,23 +1,23 @@
 abc_libabc_add_sources(
     NAME proof_acec
     SOURCES
-        acecCl.c
         acec2Mult.c
-        acecCore.c
-        acecXor.c
         acecPo.c
+        acecOrder.c
+        acecSt.c
+        acecCl.c
+        acecMult.c
+        acecPolyn.c
+        acecPa.c
         acecPool.c
         acecUtil.c
-        acecSt.c
-        acecRe.c
-        acecBo.c
+        acecCore.c
+        acecTree.c
         acecCo.c
         acecNorm.c
-        acecPa.c
-        acecTree.c
-        acecFadds.c
+        acecBo.c
         acecCover.c
-        acecMult.c
-        acecPolyn.c
-        acecOrder.c
+        acecFadds.c
+        acecRe.c
+        acecXor.c
 )
diff --git a/src/proof/cec/CMakeLists.txt b/src/proof/cec/CMakeLists.txt
index fd15a4a94d..869ca471ae 100644
--- a/src/proof/cec/CMakeLists.txt
+++ b/src/proof/cec/CMakeLists.txt
@@ -1,23 +1,24 @@
 abc_libabc_add_sources(
     NAME proof_cec
     SOURCES
+        cecChoice.c
+        cecSolve.c
         cecSatG3.c
-        cecSim.c
-        cecCorr.c
-        cecSynth.c
-        cecIso.c
         cecMan.c
-        cecPat.c
-        cecSatG2.c
-        cecSeq.c
         cecSatG.c
-        cecSweep.c
-        cecSolve.c
-        cecSat.c
-        cecChoice.c
-        cecSolveG.c
         cecCec.c
+        cecProve.c
         cecCore.c
-        cecClass.c
         cecSplit.c
+        cecPat.c
+        cecSolveG.c
+        cecSweep.c
+        cecSeq.c
+        cecCorr.c
+        cecSynth.c
+        cecSatG2.c
+        cecSat.c
+        cecIso.c
+        cecSim.c
+        cecClass.c
 )
diff --git a/src/proof/dch/CMakeLists.txt b/src/proof/dch/CMakeLists.txt
index e32871b935..926db08cde 100644
--- a/src/proof/dch/CMakeLists.txt
+++ b/src/proof/dch/CMakeLists.txt
@@ -1,14 +1,14 @@
 abc_libabc_add_sources(
     NAME proof_dch
     SOURCES
-        dchSweep.c
-        dchChoice.c
         dchAig.c
+        dchSimSat.c
         dchSim.c
         dchSat.c
+        dchSweep.c
+        dchCore.c
         dchCnf.c
         dchClass.c
-        dchCore.c
+        dchChoice.c
         dchMan.c
-        dchSimSat.c
 )
diff --git a/src/proof/fra/CMakeLists.txt b/src/proof/fra/CMakeLists.txt
index 7e4755bb4c..885e684f5f 100644
--- a/src/proof/fra/CMakeLists.txt
+++ b/src/proof/fra/CMakeLists.txt
@@ -1,21 +1,21 @@
 abc_libabc_add_sources(
     NAME proof_fra
     SOURCES
-        fraSat.c
-        fraImp.c
-        fraSec.c
-        fraLcr.c
-        fraBmc.c
         fraSim.c
-        fraClass.c
-        fraClaus.c
+        fraInd.c
         fraCec.c
+        fraSec.c
+        fraClau.c
+        fraBmc.c
+        fraImp.c
+        fraCnf.c
+        fraLcr.c
         fraMan.c
-        fraInd.c
-        fraPart.c
-        fraHot.c
+        fraClass.c
         fraIndVer.c
+        fraSat.c
         fraCore.c
-        fraClau.c
-        fraCnf.c
+        fraPart.c
+        fraHot.c
+        fraClaus.c
 )
diff --git a/src/proof/fraig/CMakeLists.txt b/src/proof/fraig/CMakeLists.txt
index 1238302f0d..fb6c1e991e 100644
--- a/src/proof/fraig/CMakeLists.txt
+++ b/src/proof/fraig/CMakeLists.txt
@@ -1,16 +1,16 @@
 abc_libabc_add_sources(
     NAME proof_fraig
     SOURCES
+        fraigCanon.c
+        fraigApi.c
+        fraigTable.c
         fraigUtil.c
         fraigFanout.c
-        fraigFeed.c
+        fraigMem.c
+        fraigPrime.c
+        fraigVec.c
         fraigMan.c
+        fraigFeed.c
         fraigNode.c
-        fraigApi.c
-        fraigVec.c
-        fraigPrime.c
-        fraigCanon.c
         fraigSat.c
-        fraigMem.c
-        fraigTable.c
 )
diff --git a/src/proof/int/CMakeLists.txt b/src/proof/int/CMakeLists.txt
index d83124a90e..358d240af1 100644
--- a/src/proof/int/CMakeLists.txt
+++ b/src/proof/int/CMakeLists.txt
@@ -1,14 +1,14 @@
 abc_libabc_add_sources(
     NAME proof_int
     SOURCES
-        intFrames.c
-        intInter.c
+        intContain.c
+        intMan.c
+        intCtrex.c
+        intUtil.c
+        intCheck.c
         intCore.c
         intM114.c
-        intUtil.c
+        intFrames.c
+        intInter.c
         intDup.c
-        intCtrex.c
-        intContain.c
-        intCheck.c
-        intMan.c
 )
diff --git a/src/proof/int2/CMakeLists.txt b/src/proof/int2/CMakeLists.txt
index e76bac5087..eeb9632275 100644
--- a/src/proof/int2/CMakeLists.txt
+++ b/src/proof/int2/CMakeLists.txt
@@ -3,6 +3,6 @@ abc_libabc_add_sources(
     SOURCES
         int2Core.c
         int2Util.c
-        int2Refine.c
         int2Bmc.c
+        int2Refine.c
 )
diff --git a/src/proof/live/CMakeLists.txt b/src/proof/live/CMakeLists.txt
index aa92acb388..36871b807a 100644
--- a/src/proof/live/CMakeLists.txt
+++ b/src/proof/live/CMakeLists.txt
@@ -3,11 +3,11 @@ abc_libabc_add_sources(
     SOURCES
         arenaViolation.c
         disjunctiveMonotone.c
-        kLiveConstraints.c
-        monotone.c
-        liveness.c
-        ltl_parser.c
-        liveness_sim.c
         combination.c
+        ltl_parser.c
+        kLiveConstraints.c
         kliveness.c
+        liveness_sim.c
+        liveness.c
+        monotone.c
 )
diff --git a/src/proof/pdr/CMakeLists.txt b/src/proof/pdr/CMakeLists.txt
index 9cd811b3d9..d523b5ea31 100644
--- a/src/proof/pdr/CMakeLists.txt
+++ b/src/proof/pdr/CMakeLists.txt
@@ -3,12 +3,12 @@ abc_libabc_add_sources(
     SOURCES
         pdrCnf.c
         pdrTsim.c
-        pdrTsim3.c
-        pdrSat.c
-        pdrTsim2.c
-        pdrMan.c
+        pdrIncr.c
         pdrUtil.c
+        pdrTsim2.c
         pdrInv.c
         pdrCore.c
-        pdrIncr.c
+        pdrMan.c
+        pdrSat.c
+        pdrTsim3.c
 )
diff --git a/src/proof/ssc/CMakeLists.txt b/src/proof/ssc/CMakeLists.txt
index 441c4730ea..bff9a89169 100644
--- a/src/proof/ssc/CMakeLists.txt
+++ b/src/proof/ssc/CMakeLists.txt
@@ -1,9 +1,9 @@
 abc_libabc_add_sources(
     NAME proof_ssc
     SOURCES
-        sscCore.c
-        sscSat.c
         sscSim.c
-        sscUtil.c
         sscClass.c
+        sscUtil.c
+        sscSat.c
+        sscCore.c
 )
diff --git a/src/proof/ssw/CMakeLists.txt b/src/proof/ssw/CMakeLists.txt
index e42b02517d..1493995bf2 100644
--- a/src/proof/ssw/CMakeLists.txt
+++ b/src/proof/ssw/CMakeLists.txt
@@ -1,24 +1,24 @@
 abc_libabc_add_sources(
     NAME proof_ssw
     SOURCES
-        sswDyn.c
-        sswCnf.c
-        sswAig.c
+        sswConstr.c
+        sswIslands.c
+        sswLcorr.c
         sswPart.c
-        sswRarity.c
-        sswSimSat.c
+        sswBmc.c
         sswMan.c
-        sswLcorr.c
-        sswPairs.c
-        sswSemi.c
+        sswAig.c
         sswSweep.c
-        sswIslands.c
         sswSim.c
-        sswConstr.c
-        sswUnique.c
+        sswCnf.c
         sswClass.c
+        sswSimSat.c
+        sswDyn.c
+        sswPairs.c
         sswCore.c
-        sswFilter.c
         sswSat.c
-        sswBmc.c
+        sswUnique.c
+        sswSemi.c
+        sswRarity.c
+        sswFilter.c
 )
diff --git a/src/sat/bmc/CMakeLists.txt b/src/sat/bmc/CMakeLists.txt
index 545fd83c6e..20a72e89a1 100644
--- a/src/sat/bmc/CMakeLists.txt
+++ b/src/sat/bmc/CMakeLists.txt
@@ -1,36 +1,36 @@
 abc_libabc_add_sources(
     NAME sat_bmc
     SOURCES
-        bmcCexTools.c
-        bmcMaj3.c
-        bmcUnroll.c
-        bmcEco.c
-        bmcMaj.c
+        bmcCexCut.c
+        bmcBmc2.c
         bmcInse.c
-        bmcChain.c
-        bmcClp.c
-        bmcGen.c
-        bmcCexMin2.c
-        bmcBmcG.c
-        bmcBCore.c
-        bmcCexMin1.c
+        bmcBmc.c
         bmcMaxi.c
-        bmcExpand.c
-        bmcBmci.c
+        bmcBmcS.c
+        bmcBmc3.c
         bmcLoad.c
+        bmcBmci.c
         bmcFx.c
-        bmcCexDepth.c
-        bmcBmc.c
-        bmcMaj2.c
+        bmcMesh2.c
+        bmcICheck.c
+        bmcClp.c
+        bmcBCore.c
+        bmcMaj3.c
+        bmcGen.c
+        bmcCexMin2.c
+        bmcMaj.c
+        bmcCexCare.c
         bmcFault.c
-        bmcBmc2.c
+        bmcUnroll.c
+        bmcMaj2.c
+        bmcExpand.c
+        bmcCexMin1.c
+        bmcEco.c
         bmcMulti.c
-        bmcBmc3.c
-        bmcCexCare.c
-        bmcBmcAnd.c
         bmcMesh.c
-        bmcCexCut.c
-        bmcBmcS.c
-        bmcMesh2.c
-        bmcICheck.c
+        bmcCexTools.c
+        bmcCexDepth.c
+        bmcChain.c
+        bmcBmcAnd.c
+        bmcBmcG.c
 )
diff --git a/src/sat/bsat/CMakeLists.txt b/src/sat/bsat/CMakeLists.txt
index 2ef211b455..5485a9421c 100644
--- a/src/sat/bsat/CMakeLists.txt
+++ b/src/sat/bsat/CMakeLists.txt
@@ -1,18 +1,18 @@
 abc_libabc_add_sources(
     NAME sat_bsat
     SOURCES
-        satInter.c
+        satSolver3.c
         satStore.c
-        satSolver2.c
-        satInterA.c
-        satSolver.c
+        satInter.c
         satUtil.c
-        satSolver2i.c
-        satInterP.c
         satTruth.c
         satMem.c
+        satInterA.c
+        satSolver2i.c
         satInterB.c
-        satSolver3.c
-        satProof.c
+        satSolver.c
+        satInterP.c
         satTrace.c
+        satProof.c
+        satSolver2.c
 )
diff --git a/src/sat/bsat2/CMakeLists.txt b/src/sat/bsat2/CMakeLists.txt
index d097c47460..af83775db7 100644
--- a/src/sat/bsat2/CMakeLists.txt
+++ b/src/sat/bsat2/CMakeLists.txt
@@ -1,11 +1,11 @@
 abc_libabc_add_sources(
     NAME sat_bsat2
     SOURCES
-        MainSat.cpp
-        Options.cpp
-        AbcApi.cpp
         SimpSolver.cpp
-        Solver.cpp
-        System.cpp
+        AbcApi.cpp
+        Options.cpp
+        MainSat.cpp
         MainSimp.cpp
+        System.cpp
+        Solver.cpp
 )
diff --git a/src/sat/cnf/CMakeLists.txt b/src/sat/cnf/CMakeLists.txt
index 2f068190a8..d1bb810f9c 100644
--- a/src/sat/cnf/CMakeLists.txt
+++ b/src/sat/cnf/CMakeLists.txt
@@ -1,13 +1,13 @@
 abc_libabc_add_sources(
     NAME sat_cnf
     SOURCES
-        cnfFast.c
+        cnfCut.c
         cnfMap.c
-        cnfCore.c
-        cnfData.c
         cnfUtil.c
+        cnfFast.c
+        cnfData.c
+        cnfPost.c
         cnfMan.c
-        cnfCut.c
         cnfWrite.c
-        cnfPost.c
+        cnfCore.c
 )
diff --git a/src/sat/glucose/CMakeLists.txt b/src/sat/glucose/CMakeLists.txt
index aea0027648..82e57750d3 100644
--- a/src/sat/glucose/CMakeLists.txt
+++ b/src/sat/glucose/CMakeLists.txt
@@ -1,10 +1,10 @@
 abc_libabc_add_sources(
     NAME sat_glucose
     SOURCES
-        AbcGlucose.cpp
-        Options.cpp
         SimpSolver.cpp
         Glucose.cpp
+        Options.cpp
         System.cpp
+        AbcGlucose.cpp
         AbcGlucoseCmd.cpp
 )
diff --git a/src/sat/glucose2/CMakeLists.txt b/src/sat/glucose2/CMakeLists.txt
index 9c00826407..b96cee7c71 100644
--- a/src/sat/glucose2/CMakeLists.txt
+++ b/src/sat/glucose2/CMakeLists.txt
@@ -1,10 +1,10 @@
 abc_libabc_add_sources(
     NAME sat_glucose2
     SOURCES
+        AbcGlucose2.cpp
         AbcGlucoseCmd2.cpp
         System2.cpp
-        AbcGlucose2.cpp
-        Glucose2.cpp
-        Options2.cpp
         SimpSolver2.cpp
+        Options2.cpp
+        Glucose2.cpp
 )
diff --git a/src/sat/msat/CMakeLists.txt b/src/sat/msat/CMakeLists.txt
index 6c7fd78ccc..50378dfe88 100644
--- a/src/sat/msat/CMakeLists.txt
+++ b/src/sat/msat/CMakeLists.txt
@@ -1,17 +1,17 @@
 abc_libabc_add_sources(
     NAME sat_msat
     SOURCES
-        msatClauseVec.c
-        msatSolverSearch.c
         msatSolverApi.c
-        msatVec.c
+        msatActivity.c
+        msatRead.c
+        msatSolverSearch.c
         msatSolverIo.c
-        msatSort.c
+        msatVec.c
+        msatSolverCore.c
+        msatOrderH.c
         msatMem.c
+        msatClauseVec.c
         msatClause.c
-        msatOrderH.c
+        msatSort.c
         msatQueue.c
-        msatRead.c
-        msatActivity.c
-        msatSolverCore.c
 )