1# Microsoft Developer Studio Project File - Name="abclib" - Package Owner=<4>
2# Microsoft Developer Studio Generated Build File, Format Version 6.00
3# ** DO NOT EDIT **
4
5# TARGTYPE "Win32 (x86) Static Library" 0x0104
6
7CFG=abclib - Win32 Debug
8!MESSAGE This is not a valid makefile. To build this project using NMAKE,
9!MESSAGE use the Export Makefile command and run
10!MESSAGE
11!MESSAGE NMAKE /f "abclib.mak".
12!MESSAGE
13!MESSAGE You can specify a configuration when running NMAKE
14!MESSAGE by defining the macro CFG on the command line. For example:
15!MESSAGE
16!MESSAGE NMAKE /f "abclib.mak" CFG="abclib - Win32 Debug"
17!MESSAGE
18!MESSAGE Possible choices for configuration are:
19!MESSAGE
20!MESSAGE "abclib - Win32 Release" (based on "Win32 (x86) Static Library")
21!MESSAGE "abclib - Win32 Debug" (based on "Win32 (x86) Static Library")
22!MESSAGE
23
24# Begin Project
25# PROP AllowPerConfigDependencies 0
26# PROP Scc_ProjName ""
27# PROP Scc_LocalPath ""
28CPP=cl.exe
29RSC=rc.exe
30
31!IF  "$(CFG)" == "abclib - Win32 Release"
32
33# PROP BASE Use_MFC 0
34# PROP BASE Use_Debug_Libraries 0
35# PROP BASE Output_Dir "ReleaseLib"
36# PROP BASE Intermediate_Dir "ReleaseLib"
37# PROP BASE Target_Dir ""
38# PROP Use_MFC 0
39# PROP Use_Debug_Libraries 0
40# PROP Output_Dir "ReleaseLib"
41# PROP Intermediate_Dir "ReleaseLib"
42# PROP Target_Dir ""
43# ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /YX /FD /c
44# ADD CPP /nologo /MD /W3 /GX /O2 /I "src" /D "WIN32" /D "WINDOWS" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /FR /YX /FD /c
45# ADD BASE RSC /l 0x409 /d "NDEBUG"
46# ADD RSC /l 0x409 /d "NDEBUG"
47BSC32=bscmake.exe
48# ADD BASE BSC32 /nologo
49# ADD BSC32 /nologo
50LIB32=link.exe -lib
51# ADD BASE LIB32 /nologo
52# ADD LIB32 /nologo /out:"lib\abcr.lib"
53
54!ELSEIF  "$(CFG)" == "abclib - Win32 Debug"
55
56# PROP BASE Use_MFC 0
57# PROP BASE Use_Debug_Libraries 1
58# PROP BASE Output_Dir "DebugLib"
59# PROP BASE Intermediate_Dir "DebugLib"
60# PROP BASE Target_Dir ""
61# PROP Use_MFC 0
62# PROP Use_Debug_Libraries 1
63# PROP Output_Dir "DebugLib"
64# PROP Intermediate_Dir "DebugLib"
65# PROP Target_Dir ""
66# ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_MBCS" /D "_LIB" /YX /FD /GZ /c
67# ADD CPP /nologo /MDd /W3 /Gm /GX /ZI /Od /I "src" /D "WIN32" /D "WINDOWS" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /D "ABC_USE_PTHREADS" /D "ABC_USE_CUDD" /FR /YX /FD /GZ /c
68# ADD BASE RSC /l 0x409 /d "_DEBUG"
69# ADD RSC /l 0x409 /d "_DEBUG"
70BSC32=bscmake.exe
71# ADD BASE BSC32 /nologo
72# ADD BSC32 /nologo
73LIB32=link.exe -lib
74# ADD BASE LIB32 /nologo
75# ADD LIB32 /nologo /out:"lib\abcd.lib"
76
77!ENDIF
78
79# Begin Target
80
81# Name "abclib - Win32 Release"
82# Name "abclib - Win32 Debug"
83# Begin Group "Source Files"
84
85# PROP Default_Filter "cpp;c;cxx;rc;def;r;odl;idl;hpj;bat"
86# Begin Group "base"
87
88# PROP Default_Filter ""
89# Begin Group "abc"
90
91# PROP Default_Filter ""
92# Begin Source File
93
94SOURCE=.\src\base\abc\abc.h
95# End Source File
96# Begin Source File
97
98SOURCE=.\src\base\abc\abcAig.c
99# End Source File
100# Begin Source File
101
102SOURCE=.\src\base\abc\abcBarBuf.c
103# End Source File
104# Begin Source File
105
106SOURCE=.\src\base\abc\abcBlifMv.c
107# End Source File
108# Begin Source File
109
110SOURCE=.\src\base\abc\abcCheck.c
111# End Source File
112# Begin Source File
113
114SOURCE=.\src\base\abc\abcDfs.c
115# End Source File
116# Begin Source File
117
118SOURCE=.\src\base\abc\abcFanio.c
119# End Source File
120# Begin Source File
121
122SOURCE=.\src\base\abc\abcFanOrder.c
123# End Source File
124# Begin Source File
125
126SOURCE=.\src\base\abc\abcFunc.c
127# End Source File
128# Begin Source File
129
130SOURCE=.\src\base\abc\abcHie.c
131# End Source File
132# Begin Source File
133
134SOURCE=.\src\base\abc\abcHieCec.c
135# End Source File
136# Begin Source File
137
138SOURCE=.\src\base\abc\abcHieGia.c
139# End Source File
140# Begin Source File
141
142SOURCE=.\src\base\abc\abcHieNew.c
143# End Source File
144# Begin Source File
145
146SOURCE=.\src\base\abc\abcInt.h
147# End Source File
148# Begin Source File
149
150SOURCE=.\src\base\abc\abcLatch.c
151# End Source File
152# Begin Source File
153
154SOURCE=.\src\base\abc\abcLib.c
155# End Source File
156# Begin Source File
157
158SOURCE=.\src\base\abc\abcMinBase.c
159# End Source File
160# Begin Source File
161
162SOURCE=.\src\base\abc\abcNames.c
163# End Source File
164# Begin Source File
165
166SOURCE=.\src\base\abc\abcNetlist.c
167# End Source File
168# Begin Source File
169
170SOURCE=.\src\base\abc\abcNtk.c
171# End Source File
172# Begin Source File
173
174SOURCE=.\src\base\abc\abcObj.c
175# End Source File
176# Begin Source File
177
178SOURCE=.\src\base\abc\abcRefs.c
179# End Source File
180# Begin Source File
181
182SOURCE=.\src\base\abc\abcShow.c
183# End Source File
184# Begin Source File
185
186SOURCE=.\src\base\abc\abcSop.c
187# End Source File
188# Begin Source File
189
190SOURCE=.\src\base\abc\abcUtil.c
191# End Source File
192# End Group
193# Begin Group "abci"
194
195# PROP Default_Filter ""
196# Begin Source File
197
198SOURCE=.\src\base\abci\abc.c
199# End Source File
200# Begin Source File
201
202SOURCE=.\src\base\abci\abcAttach.c
203# End Source File
204# Begin Source File
205
206SOURCE=.\src\base\abci\abcAuto.c
207# End Source File
208# Begin Source File
209
210SOURCE=.\src\base\abci\abcBalance.c
211# End Source File
212# Begin Source File
213
214SOURCE=.\src\base\abci\abcBidec.c
215# End Source File
216# Begin Source File
217
218SOURCE=.\src\base\abci\abcBm.c
219# End Source File
220# Begin Source File
221
222SOURCE=.\src\base\abci\abcBmc.c
223# End Source File
224# Begin Source File
225
226SOURCE=.\src\base\abci\abcCas.c
227# End Source File
228# Begin Source File
229
230SOURCE=.\src\base\abci\abcCascade.c
231# End Source File
232# Begin Source File
233
234SOURCE=.\src\base\abci\abcCollapse.c
235# End Source File
236# Begin Source File
237
238SOURCE=.\src\base\abci\abcCut.c
239# End Source File
240# Begin Source File
241
242SOURCE=.\src\base\abci\abcDar.c
243# End Source File
244# Begin Source File
245
246SOURCE=.\src\base\abci\abcDebug.c
247# End Source File
248# Begin Source File
249
250SOURCE=.\src\base\abci\abcDec.c
251# End Source File
252# Begin Source File
253
254SOURCE=.\src\base\abci\abcDetect.c
255# End Source File
256# Begin Source File
257
258SOURCE=.\src\base\abci\abcDress.c
259# End Source File
260# Begin Source File
261
262SOURCE=.\src\base\abci\abcDress2.c
263# End Source File
264# Begin Source File
265
266SOURCE=.\src\base\abci\abcDress3.c
267# End Source File
268# Begin Source File
269
270SOURCE=.\src\base\abci\abcDsd.c
271# End Source File
272# Begin Source File
273
274SOURCE=.\src\base\abci\abcEco.c
275# End Source File
276# Begin Source File
277
278SOURCE=.\src\base\abci\abcExact.c
279# End Source File
280# Begin Source File
281
282SOURCE=.\src\base\abci\abcExtract.c
283# End Source File
284# Begin Source File
285
286SOURCE=.\src\base\abci\abcFraig.c
287# End Source File
288# Begin Source File
289
290SOURCE=.\src\base\abci\abcFx.c
291# End Source File
292# Begin Source File
293
294SOURCE=.\src\base\abci\abcFxu.c
295# End Source File
296# Begin Source File
297
298SOURCE=.\src\base\abci\abcGen.c
299# End Source File
300# Begin Source File
301
302SOURCE=.\src\base\abci\abcHaig.c
303# End Source File
304# Begin Source File
305
306SOURCE=.\src\base\abci\abcIf.c
307# End Source File
308# Begin Source File
309
310SOURCE=.\src\base\abci\abcIfif.c
311# End Source File
312# Begin Source File
313
314SOURCE=.\src\base\abci\abcIfMux.c
315# End Source File
316# Begin Source File
317
318SOURCE=.\src\base\abci\abcIvy.c
319# End Source File
320# Begin Source File
321
322SOURCE=.\src\base\abci\abcLog.c
323# End Source File
324# Begin Source File
325
326SOURCE=.\src\base\abci\abcLut.c
327# End Source File
328# Begin Source File
329
330SOURCE=.\src\base\abci\abcLutmin.c
331# End Source File
332# Begin Source File
333
334SOURCE=.\src\base\abci\abcMap.c
335# End Source File
336# Begin Source File
337
338SOURCE=.\src\base\abci\abcMeasure.c
339# End Source File
340# Begin Source File
341
342SOURCE=.\src\base\abci\abcMerge.c
343# End Source File
344# Begin Source File
345
346SOURCE=.\src\base\abci\abcMffc.c
347# End Source File
348# Begin Source File
349
350SOURCE=.\src\base\abci\abcMfs.c
351# End Source File
352# Begin Source File
353
354SOURCE=.\src\base\abci\abcMini.c
355# End Source File
356# Begin Source File
357
358SOURCE=.\src\base\abci\abcMiter.c
359# End Source File
360# Begin Source File
361
362SOURCE=.\src\base\abci\abcMulti.c
363# End Source File
364# Begin Source File
365
366SOURCE=.\src\base\abci\abcMv.c
367# End Source File
368# Begin Source File
369
370SOURCE=.\src\base\abci\abcNpn.c
371# End Source File
372# Begin Source File
373
374SOURCE=.\src\base\abci\abcNpnSave.c
375# End Source File
376# Begin Source File
377
378SOURCE=.\src\base\abci\abcNtbdd.c
379# End Source File
380# Begin Source File
381
382SOURCE=.\src\base\abci\abcOdc.c
383# End Source File
384# Begin Source File
385
386SOURCE=.\src\base\abci\abcOrder.c
387# End Source File
388# Begin Source File
389
390SOURCE=.\src\base\abci\abcPart.c
391# End Source File
392# Begin Source File
393
394SOURCE=.\src\base\abci\abcPrint.c
395# End Source File
396# Begin Source File
397
398SOURCE=.\src\base\abci\abcProve.c
399# End Source File
400# Begin Source File
401
402SOURCE=.\src\base\abci\abcQbf.c
403# End Source File
404# Begin Source File
405
406SOURCE=.\src\base\abci\abcQuant.c
407# End Source File
408# Begin Source File
409
410SOURCE=.\src\base\abci\abcReach.c
411# End Source File
412# Begin Source File
413
414SOURCE=.\src\base\abci\abcRec3.c
415# End Source File
416# Begin Source File
417
418SOURCE=.\src\base\abci\abcReconv.c
419# End Source File
420# Begin Source File
421
422SOURCE=.\src\base\abci\abcRefactor.c
423# End Source File
424# Begin Source File
425
426SOURCE=.\src\base\abci\abcRenode.c
427# End Source File
428# Begin Source File
429
430SOURCE=.\src\base\abci\abcReorder.c
431# End Source File
432# Begin Source File
433
434SOURCE=.\src\base\abci\abcRestruct.c
435# End Source File
436# Begin Source File
437
438SOURCE=.\src\base\abci\abcResub.c
439# End Source File
440# Begin Source File
441
442SOURCE=.\src\base\abci\abcRewrite.c
443# End Source File
444# Begin Source File
445
446SOURCE=.\src\base\abci\abcRpo.c
447# End Source File
448# Begin Source File
449
450SOURCE=.\src\base\abci\abcRr.c
451# End Source File
452# Begin Source File
453
454SOURCE=.\src\base\abci\abcRunGen.c
455# End Source File
456# Begin Source File
457
458SOURCE=.\src\base\abci\abcSat.c
459# End Source File
460# Begin Source File
461
462SOURCE=.\src\base\abci\abcSaucy.c
463# End Source File
464# Begin Source File
465
466SOURCE=.\src\base\abci\abcScorr.c
467# End Source File
468# Begin Source File
469
470SOURCE=.\src\base\abci\abcSense.c
471# End Source File
472# Begin Source File
473
474SOURCE=.\src\base\abci\abcSpeedup.c
475# End Source File
476# Begin Source File
477
478SOURCE=.\src\base\abci\abcStrash.c
479# End Source File
480# Begin Source File
481
482SOURCE=.\src\base\abci\abcSweep.c
483# End Source File
484# Begin Source File
485
486SOURCE=.\src\base\abci\abcSymm.c
487# End Source File
488# Begin Source File
489
490SOURCE=.\src\base\abci\abcTim.c
491# End Source File
492# Begin Source File
493
494SOURCE=.\src\base\abci\abcTiming.c
495# End Source File
496# Begin Source File
497
498SOURCE=.\src\base\abci\abcUnate.c
499# End Source File
500# Begin Source File
501
502SOURCE=.\src\base\abci\abcUnreach.c
503# End Source File
504# Begin Source File
505
506SOURCE=.\src\base\abci\abcVerify.c
507# End Source File
508# Begin Source File
509
510SOURCE=.\src\base\abci\abcXsim.c
511# End Source File
512# End Group
513# Begin Group "cmd"
514
515# PROP Default_Filter ""
516# Begin Source File
517
518SOURCE=.\src\base\cmd\cmd.c
519# End Source File
520# Begin Source File
521
522SOURCE=.\src\base\cmd\cmd.h
523# End Source File
524# Begin Source File
525
526SOURCE=.\src\base\cmd\cmdAlias.c
527# End Source File
528# Begin Source File
529
530SOURCE=.\src\base\cmd\cmdApi.c
531# End Source File
532# Begin Source File
533
534SOURCE=.\src\base\cmd\cmdAuto.c
535# End Source File
536# Begin Source File
537
538SOURCE=.\src\base\cmd\cmdFlag.c
539# End Source File
540# Begin Source File
541
542SOURCE=.\src\base\cmd\cmdHist.c
543# End Source File
544# Begin Source File
545
546SOURCE=.\src\base\cmd\cmdInt.h
547# End Source File
548# Begin Source File
549
550SOURCE=.\src\base\cmd\cmdLoad.c
551# End Source File
552# Begin Source File
553
554SOURCE=.\src\base\cmd\cmdPlugin.c
555# End Source File
556# Begin Source File
557
558SOURCE=.\src\base\cmd\cmdStarter.c
559# End Source File
560# Begin Source File
561
562SOURCE=.\src\base\cmd\cmdUtils.c
563# End Source File
564# End Group
565# Begin Group "io"
566
567# PROP Default_Filter ""
568# Begin Source File
569
570SOURCE=.\src\base\io\io.c
571# End Source File
572# Begin Source File
573
574SOURCE=.\src\base\io\ioabc.h
575# End Source File
576# Begin Source File
577
578SOURCE=.\src\base\io\ioInt.h
579# End Source File
580# Begin Source File
581
582SOURCE=.\src\base\io\ioJson.c
583# End Source File
584# Begin Source File
585
586SOURCE=.\src\base\io\ioReadAiger.c
587# End Source File
588# Begin Source File
589
590SOURCE=.\src\base\io\ioReadBaf.c
591# End Source File
592# Begin Source File
593
594SOURCE=.\src\base\io\ioReadBblif.c
595# End Source File
596# Begin Source File
597
598SOURCE=.\src\base\io\ioReadBench.c
599# End Source File
600# Begin Source File
601
602SOURCE=.\src\base\io\ioReadBlif.c
603# End Source File
604# Begin Source File
605
606SOURCE=.\src\base\io\ioReadBlifAig.c
607# End Source File
608# Begin Source File
609
610SOURCE=.\src\base\io\ioReadBlifMv.c
611# End Source File
612# Begin Source File
613
614SOURCE=.\src\base\io\ioReadDsd.c
615# End Source File
616# Begin Source File
617
618SOURCE=.\src\base\io\ioReadEdif.c
619# End Source File
620# Begin Source File
621
622SOURCE=.\src\base\io\ioReadEqn.c
623# End Source File
624# Begin Source File
625
626SOURCE=.\src\base\io\ioReadPla.c
627# End Source File
628# Begin Source File
629
630SOURCE=.\src\base\io\ioReadPlaMo.c
631# End Source File
632# Begin Source File
633
634SOURCE=.\src\base\io\ioReadVerilog.c
635# End Source File
636# Begin Source File
637
638SOURCE=.\src\base\io\ioUtil.c
639# End Source File
640# Begin Source File
641
642SOURCE=.\src\base\io\ioWriteAiger.c
643# End Source File
644# Begin Source File
645
646SOURCE=.\src\base\io\ioWriteBaf.c
647# End Source File
648# Begin Source File
649
650SOURCE=.\src\base\io\ioWriteBblif.c
651# End Source File
652# Begin Source File
653
654SOURCE=.\src\base\io\ioWriteBench.c
655# End Source File
656# Begin Source File
657
658SOURCE=.\src\base\io\ioWriteBlif.c
659# End Source File
660# Begin Source File
661
662SOURCE=.\src\base\io\ioWriteBlifMv.c
663# End Source File
664# Begin Source File
665
666SOURCE=.\src\base\io\ioWriteBook.c
667# End Source File
668# Begin Source File
669
670SOURCE=.\src\base\io\ioWriteCnf.c
671# End Source File
672# Begin Source File
673
674SOURCE=.\src\base\io\ioWriteDot.c
675# End Source File
676# Begin Source File
677
678SOURCE=.\src\base\io\ioWriteEqn.c
679# End Source File
680# Begin Source File
681
682SOURCE=.\src\base\io\ioWriteGml.c
683# End Source File
684# Begin Source File
685
686SOURCE=.\src\base\io\ioWriteList.c
687# End Source File
688# Begin Source File
689
690SOURCE=.\src\base\io\ioWritePla.c
691# End Source File
692# Begin Source File
693
694SOURCE=.\src\base\io\ioWriteSmv.c
695# End Source File
696# Begin Source File
697
698SOURCE=.\src\base\io\ioWriteVerilog.c
699# End Source File
700# End Group
701# Begin Group "main"
702
703# PROP Default_Filter ""
704# Begin Source File
705
706SOURCE=.\src\base\main\abcapis.h
707# End Source File
708# Begin Source File
709
710SOURCE=.\src\base\main\libSupport.c
711# End Source File
712# Begin Source File
713
714SOURCE=.\src\base\main\main.h
715# End Source File
716# Begin Source File
717
718SOURCE=.\src\base\main\mainFrame.c
719# End Source File
720# Begin Source File
721
722SOURCE=.\src\base\main\mainInit.c
723# End Source File
724# Begin Source File
725
726SOURCE=.\src\base\main\mainInt.h
727# End Source File
728# Begin Source File
729
730SOURCE=.\src\base\main\mainLib.c
731# End Source File
732# Begin Source File
733
734SOURCE=.\src\base\main\mainReal.c
735# End Source File
736# Begin Source File
737
738SOURCE=.\src\base\main\mainUtils.c
739# End Source File
740# End Group
741# Begin Group "ver"
742
743# PROP Default_Filter ""
744# Begin Source File
745
746SOURCE=.\src\base\ver\ver.h
747# End Source File
748# Begin Source File
749
750SOURCE=.\src\base\ver\verCore.c
751# End Source File
752# Begin Source File
753
754SOURCE=.\src\base\ver\verFormula.c
755# End Source File
756# Begin Source File
757
758SOURCE=.\src\base\ver\verParse.c
759# End Source File
760# Begin Source File
761
762SOURCE=.\src\base\ver\verStream.c
763# End Source File
764# End Group
765# Begin Group "test"
766
767# PROP Default_Filter ""
768# Begin Source File
769
770SOURCE=.\src\base\test\test.c
771# End Source File
772# End Group
773# Begin Group "wlc"
774
775# PROP Default_Filter ""
776# Begin Source File
777
778SOURCE=.\src\base\wlc\wlc.c
779# End Source File
780# Begin Source File
781
782SOURCE=.\src\base\wlc\wlc.h
783# End Source File
784# Begin Source File
785
786SOURCE=.\src\base\wlc\wlcAbc.c
787# End Source File
788# Begin Source File
789
790SOURCE=.\src\base\wlc\wlcAbs.c
791# End Source File
792# Begin Source File
793
794SOURCE=.\src\base\wlc\wlcAbs2.c
795# End Source File
796# Begin Source File
797
798SOURCE=.\src\base\wlc\wlcBlast.c
799# End Source File
800# Begin Source File
801
802SOURCE=.\src\base\wlc\wlcCom.c
803# End Source File
804# Begin Source File
805
806SOURCE=.\src\base\wlc\wlcGraft.c
807# End Source File
808# Begin Source File
809
810SOURCE=.\src\base\wlc\wlcJson.c
811# End Source File
812# Begin Source File
813
814SOURCE=.\src\base\wlc\wlcMem.c
815# End Source File
816# Begin Source File
817
818SOURCE=.\src\base\wlc\wlcNdr.c
819# End Source File
820# Begin Source File
821
822SOURCE=.\src\base\wlc\wlcNtk.c
823# End Source File
824# Begin Source File
825
826SOURCE=.\src\base\wlc\wlcPth.c
827# End Source File
828# Begin Source File
829
830SOURCE=.\src\base\wlc\wlcReadSmt.c
831# End Source File
832# Begin Source File
833
834SOURCE=.\src\base\wlc\wlcReadVer.c
835# End Source File
836# Begin Source File
837
838SOURCE=.\src\base\wlc\wlcShow.c
839# End Source File
840# Begin Source File
841
842SOURCE=.\src\base\wlc\wlcSim.c
843# End Source File
844# Begin Source File
845
846SOURCE=.\src\base\wlc\wlcStdin.c
847# End Source File
848# Begin Source File
849
850SOURCE=.\src\base\wlc\wlcUif.c
851# End Source File
852# Begin Source File
853
854SOURCE=.\src\base\wlc\wlcWin.c
855# End Source File
856# Begin Source File
857
858SOURCE=.\src\base\wlc\wlcWriteVer.c
859# End Source File
860# End Group
861# Begin Group "pla"
862
863# PROP Default_Filter ""
864# Begin Source File
865
866SOURCE=.\src\base\pla\pla.h
867# End Source File
868# Begin Source File
869
870SOURCE=.\src\base\pla\plaCom.c
871# End Source File
872# Begin Source File
873
874SOURCE=.\src\base\pla\plaHash.c
875# End Source File
876# Begin Source File
877
878SOURCE=.\src\base\pla\plaMan.c
879# End Source File
880# Begin Source File
881
882SOURCE=.\src\base\pla\plaMerge.c
883# End Source File
884# Begin Source File
885
886SOURCE=.\src\base\pla\plaRead.c
887# End Source File
888# Begin Source File
889
890SOURCE=.\src\base\pla\plaSimple.c
891# End Source File
892# Begin Source File
893
894SOURCE=.\src\base\pla\plaWrite.c
895# End Source File
896# End Group
897# Begin Group "bac"
898
899# PROP Default_Filter ""
900# Begin Source File
901
902SOURCE=.\src\base\bac\bac.c
903# End Source File
904# Begin Source File
905
906SOURCE=.\src\base\bac\bac.h
907# End Source File
908# Begin Source File
909
910SOURCE=.\src\base\bac\bacBac.c
911# End Source File
912# Begin Source File
913
914SOURCE=.\src\base\bac\bacBlast.c
915# End Source File
916# Begin Source File
917
918SOURCE=.\src\base\bac\bacCom.c
919# End Source File
920# Begin Source File
921
922SOURCE=.\src\base\bac\bacLib.c
923# End Source File
924# Begin Source File
925
926SOURCE=.\src\base\bac\bacNtk.c
927# End Source File
928# Begin Source File
929
930SOURCE=.\src\base\bac\bacOper.c
931# End Source File
932# Begin Source File
933
934SOURCE=.\src\base\bac\bacPrs.h
935# End Source File
936# Begin Source File
937
938SOURCE=.\src\base\bac\bacPrsBuild.c
939# End Source File
940# Begin Source File
941
942SOURCE=.\src\base\bac\bacPrsTrans.c
943# End Source File
944# Begin Source File
945
946SOURCE=.\src\base\bac\bacPtr.c
947# End Source File
948# Begin Source File
949
950SOURCE=.\src\base\bac\bacPtrAbc.c
951# End Source File
952# Begin Source File
953
954SOURCE=.\src\base\bac\bacReadBlif.c
955# End Source File
956# Begin Source File
957
958SOURCE=.\src\base\bac\bacReadSmt.c
959# End Source File
960# Begin Source File
961
962SOURCE=.\src\base\bac\bacReadVer.c
963# End Source File
964# Begin Source File
965
966SOURCE=.\src\base\bac\bacWriteBlif.c
967# End Source File
968# Begin Source File
969
970SOURCE=.\src\base\bac\bacWriteSmt.c
971# End Source File
972# Begin Source File
973
974SOURCE=.\src\base\bac\bacWriteVer.c
975# End Source File
976# End Group
977# Begin Group "cba"
978
979# PROP Default_Filter ""
980# Begin Source File
981
982SOURCE=.\src\base\cba\cba.c
983# End Source File
984# Begin Source File
985
986SOURCE=.\src\base\cba\cba.h
987# End Source File
988# Begin Source File
989
990SOURCE=.\src\base\cba\cbaBlast.c
991# End Source File
992# Begin Source File
993
994SOURCE=.\src\base\cba\cbaCba.c
995# End Source File
996# Begin Source File
997
998SOURCE=.\src\base\cba\cbaCom.c
999# End Source File
1000# Begin Source File
1001
1002SOURCE=.\src\base\cba\cbaNtk.c
1003# End Source File
1004# Begin Source File
1005
1006SOURCE=.\src\base\cba\cbaPrs.h
1007# End Source File
1008# Begin Source File
1009
1010SOURCE=.\src\base\cba\cbaReadBlif.c
1011# End Source File
1012# Begin Source File
1013
1014SOURCE=.\src\base\cba\cbaReadVer.c
1015# End Source File
1016# Begin Source File
1017
1018SOURCE=.\src\base\cba\cbaTypes.h
1019# End Source File
1020# Begin Source File
1021
1022SOURCE=.\src\base\cba\cbaWriteBlif.c
1023# End Source File
1024# Begin Source File
1025
1026SOURCE=.\src\base\cba\cbaWriteVer.c
1027# End Source File
1028# End Group
1029# Begin Group "exor"
1030
1031# PROP Default_Filter ""
1032# Begin Source File
1033
1034SOURCE=.\src\base\exor\exor.c
1035# End Source File
1036# Begin Source File
1037
1038SOURCE=.\src\base\exor\exor.h
1039# End Source File
1040# Begin Source File
1041
1042SOURCE=.\src\base\exor\exorBits.c
1043# End Source File
1044# Begin Source File
1045
1046SOURCE=.\src\base\exor\exorCubes.c
1047# End Source File
1048# Begin Source File
1049
1050SOURCE=.\src\base\exor\exorLink.c
1051# End Source File
1052# Begin Source File
1053
1054SOURCE=.\src\base\exor\exorList.c
1055# End Source File
1056# Begin Source File
1057
1058SOURCE=.\src\base\exor\exorUtil.c
1059# End Source File
1060# End Group
1061# Begin Group "acb"
1062
1063# PROP Default_Filter ""
1064# Begin Source File
1065
1066SOURCE=.\src\base\acb\acb.c
1067# End Source File
1068# Begin Source File
1069
1070SOURCE=.\src\base\acb\acb.h
1071# End Source File
1072# Begin Source File
1073
1074SOURCE=.\src\base\acb\acbAbc.c
1075# End Source File
1076# Begin Source File
1077
1078SOURCE=.\src\base\acb\acbAig.c
1079# End Source File
1080# Begin Source File
1081
1082SOURCE=.\src\base\acb\acbCom.c
1083# End Source File
1084# Begin Source File
1085
1086SOURCE=.\src\base\acb\acbFunc.c
1087# End Source File
1088# Begin Source File
1089
1090SOURCE=.\src\base\acb\acbMfs.c
1091# End Source File
1092# Begin Source File
1093
1094SOURCE=.\src\base\acb\acbPar.h
1095# End Source File
1096# Begin Source File
1097
1098SOURCE=.\src\base\acb\acbPush.c
1099# End Source File
1100# Begin Source File
1101
1102SOURCE=.\src\base\acb\acbSets.c
1103# End Source File
1104# Begin Source File
1105
1106SOURCE=.\src\base\acb\acbSets.h
1107# End Source File
1108# Begin Source File
1109
1110SOURCE=.\src\base\acb\acbTest.c
1111# End Source File
1112# Begin Source File
1113
1114SOURCE=.\src\base\acb\acbUtil.c
1115# End Source File
1116# End Group
1117# Begin Group "wln"
1118
1119# PROP Default_Filter ""
1120# Begin Source File
1121
1122SOURCE=.\src\base\wln\wln.c
1123# End Source File
1124# Begin Source File
1125
1126SOURCE=.\src\base\wln\wln.h
1127# End Source File
1128# Begin Source File
1129
1130SOURCE=.\src\base\wln\wlnMem.c
1131# End Source File
1132# Begin Source File
1133
1134SOURCE=.\src\base\wln\wlnNdr.c
1135# End Source File
1136# Begin Source File
1137
1138SOURCE=.\src\base\wln\wlnNtk.c
1139# End Source File
1140# Begin Source File
1141
1142SOURCE=.\src\base\wln\wlnObj.c
1143# End Source File
1144# Begin Source File
1145
1146SOURCE=.\src\base\wln\wlnRetime.c
1147# End Source File
1148# Begin Source File
1149
1150SOURCE=.\src\base\wln\wlnWlc.c
1151# End Source File
1152# Begin Source File
1153
1154SOURCE=.\src\base\wln\wlnWriteVer.c
1155# End Source File
1156# End Group
1157# End Group
1158# Begin Group "bdd"
1159
1160# PROP Default_Filter ""
1161# Begin Group "extrab"
1162
1163# PROP Default_Filter ""
1164# Begin Source File
1165
1166SOURCE=.\src\bdd\extrab\extraBdd.h
1167# End Source File
1168# Begin Source File
1169
1170SOURCE=.\src\bdd\extrab\extraBddAuto.c
1171# End Source File
1172# Begin Source File
1173
1174SOURCE=.\src\bdd\extrab\extraBddCas.c
1175# End Source File
1176# Begin Source File
1177
1178SOURCE=.\src\bdd\extrab\extraBddImage.c
1179# End Source File
1180# Begin Source File
1181
1182SOURCE=.\src\bdd\extrab\extraBddKmap.c
1183# End Source File
1184# Begin Source File
1185
1186SOURCE=.\src\bdd\extrab\extraBddMaxMin.c
1187# End Source File
1188# Begin Source File
1189
1190SOURCE=.\src\bdd\extrab\extraBddMisc.c
1191# End Source File
1192# Begin Source File
1193
1194SOURCE=.\src\bdd\extrab\extraBddSet.c
1195# End Source File
1196# Begin Source File
1197
1198SOURCE=.\src\bdd\extrab\extraBddSymm.c
1199# End Source File
1200# Begin Source File
1201
1202SOURCE=.\src\bdd\extrab\extraBddThresh.c
1203# End Source File
1204# Begin Source File
1205
1206SOURCE=.\src\bdd\extrab\extraBddTime.c
1207# End Source File
1208# Begin Source File
1209
1210SOURCE=.\src\bdd\extrab\extraBddUnate.c
1211# End Source File
1212# End Group
1213# Begin Group "llb"
1214
1215# PROP Default_Filter ""
1216# Begin Source File
1217
1218SOURCE=.\src\bdd\llb\llb.h
1219# End Source File
1220# Begin Source File
1221
1222SOURCE=.\src\bdd\llb\llb1Cluster.c
1223# End Source File
1224# Begin Source File
1225
1226SOURCE=.\src\bdd\llb\llb1Constr.c
1227# End Source File
1228# Begin Source File
1229
1230SOURCE=.\src\bdd\llb\llb1Core.c
1231# End Source File
1232# Begin Source File
1233
1234SOURCE=.\src\bdd\llb\llb1Group.c
1235# End Source File
1236# Begin Source File
1237
1238SOURCE=.\src\bdd\llb\llb1Hint.c
1239# End Source File
1240# Begin Source File
1241
1242SOURCE=.\src\bdd\llb\llb1Man.c
1243# End Source File
1244# Begin Source File
1245
1246SOURCE=.\src\bdd\llb\llb1Matrix.c
1247# End Source File
1248# Begin Source File
1249
1250SOURCE=.\src\bdd\llb\llb1Pivot.c
1251# End Source File
1252# Begin Source File
1253
1254SOURCE=.\src\bdd\llb\llb1Reach.c
1255# End Source File
1256# Begin Source File
1257
1258SOURCE=.\src\bdd\llb\llb1Sched.c
1259# End Source File
1260# Begin Source File
1261
1262SOURCE=.\src\bdd\llb\llb2Bad.c
1263# End Source File
1264# Begin Source File
1265
1266SOURCE=.\src\bdd\llb\llb2Core.c
1267# End Source File
1268# Begin Source File
1269
1270SOURCE=.\src\bdd\llb\llb2Driver.c
1271# End Source File
1272# Begin Source File
1273
1274SOURCE=.\src\bdd\llb\llb2Dump.c
1275# End Source File
1276# Begin Source File
1277
1278SOURCE=.\src\bdd\llb\llb2Flow.c
1279# End Source File
1280# Begin Source File
1281
1282SOURCE=.\src\bdd\llb\llb2Image.c
1283# End Source File
1284# Begin Source File
1285
1286SOURCE=.\src\bdd\llb\llb3Image.c
1287# End Source File
1288# Begin Source File
1289
1290SOURCE=.\src\bdd\llb\llb3Nonlin.c
1291# End Source File
1292# Begin Source File
1293
1294SOURCE=.\src\bdd\llb\llb4Cex.c
1295# End Source File
1296# Begin Source File
1297
1298SOURCE=.\src\bdd\llb\llb4Cluster.c
1299# End Source File
1300# Begin Source File
1301
1302SOURCE=.\src\bdd\llb\llb4Image.c
1303# End Source File
1304# Begin Source File
1305
1306SOURCE=.\src\bdd\llb\llb4Map.c
1307# End Source File
1308# Begin Source File
1309
1310SOURCE=.\src\bdd\llb\llb4Nonlin.c
1311# End Source File
1312# Begin Source File
1313
1314SOURCE=.\src\bdd\llb\llb4Sweep.c
1315# End Source File
1316# Begin Source File
1317
1318SOURCE=.\src\bdd\llb\llbInt.h
1319# End Source File
1320# End Group
1321# Begin Group "bbr"
1322
1323# PROP Default_Filter ""
1324# Begin Source File
1325
1326SOURCE=.\src\bdd\bbr\bbr.h
1327# End Source File
1328# Begin Source File
1329
1330SOURCE=.\src\bdd\bbr\bbrCex.c
1331# End Source File
1332# Begin Source File
1333
1334SOURCE=.\src\bdd\bbr\bbrImage.c
1335# End Source File
1336# Begin Source File
1337
1338SOURCE=.\src\bdd\bbr\bbrNtbdd.c
1339# End Source File
1340# Begin Source File
1341
1342SOURCE=.\src\bdd\bbr\bbrReach.c
1343# End Source File
1344# End Group
1345# Begin Group "cas"
1346
1347# PROP Default_Filter ""
1348# Begin Source File
1349
1350SOURCE=.\src\bdd\cas\cas.h
1351# End Source File
1352# Begin Source File
1353
1354SOURCE=.\src\bdd\cas\casCore.c
1355# End Source File
1356# Begin Source File
1357
1358SOURCE=.\src\bdd\cas\casDec.c
1359# End Source File
1360# End Group
1361# Begin Group "reo"
1362
1363# PROP Default_Filter ""
1364# Begin Source File
1365
1366SOURCE=.\src\bdd\reo\reo.h
1367# End Source File
1368# Begin Source File
1369
1370SOURCE=.\src\bdd\reo\reoApi.c
1371# End Source File
1372# Begin Source File
1373
1374SOURCE=.\src\bdd\reo\reoCore.c
1375# End Source File
1376# Begin Source File
1377
1378SOURCE=.\src\bdd\reo\reoProfile.c
1379# End Source File
1380# Begin Source File
1381
1382SOURCE=.\src\bdd\reo\reoShuffle.c
1383# End Source File
1384# Begin Source File
1385
1386SOURCE=.\src\bdd\reo\reoSift.c
1387# End Source File
1388# Begin Source File
1389
1390SOURCE=.\src\bdd\reo\reoSwap.c
1391# End Source File
1392# Begin Source File
1393
1394SOURCE=.\src\bdd\reo\reoTest.c
1395# End Source File
1396# Begin Source File
1397
1398SOURCE=.\src\bdd\reo\reoTransfer.c
1399# End Source File
1400# Begin Source File
1401
1402SOURCE=.\src\bdd\reo\reoUnits.c
1403# End Source File
1404# End Group
1405# Begin Group "dsd"
1406
1407# PROP Default_Filter ""
1408# Begin Source File
1409
1410SOURCE=.\src\bdd\dsd\dsd.h
1411# End Source File
1412# Begin Source File
1413
1414SOURCE=.\src\bdd\dsd\dsdApi.c
1415# End Source File
1416# Begin Source File
1417
1418SOURCE=.\src\bdd\dsd\dsdCheck.c
1419# End Source File
1420# Begin Source File
1421
1422SOURCE=.\src\bdd\dsd\dsdInt.h
1423# End Source File
1424# Begin Source File
1425
1426SOURCE=.\src\bdd\dsd\dsdLocal.c
1427# End Source File
1428# Begin Source File
1429
1430SOURCE=.\src\bdd\dsd\dsdMan.c
1431# End Source File
1432# Begin Source File
1433
1434SOURCE=.\src\bdd\dsd\dsdProc.c
1435# End Source File
1436# Begin Source File
1437
1438SOURCE=.\src\bdd\dsd\dsdTree.c
1439# End Source File
1440# End Group
1441# Begin Group "mtr"
1442
1443# PROP Default_Filter ""
1444# Begin Source File
1445
1446SOURCE=.\src\bdd\mtr\mtr.h
1447# End Source File
1448# Begin Source File
1449
1450SOURCE=.\src\bdd\mtr\mtrBasic.c
1451# End Source File
1452# Begin Source File
1453
1454SOURCE=.\src\bdd\mtr\mtrGroup.c
1455# End Source File
1456# Begin Source File
1457
1458SOURCE=.\src\bdd\mtr\mtrInt.h
1459# End Source File
1460# End Group
1461# Begin Group "epd"
1462
1463# PROP Default_Filter ""
1464# Begin Source File
1465
1466SOURCE=.\src\bdd\epd\epd.c
1467# End Source File
1468# Begin Source File
1469
1470SOURCE=.\src\bdd\epd\epd.h
1471# End Source File
1472# End Group
1473# Begin Group "cudd"
1474
1475# PROP Default_Filter ""
1476# Begin Source File
1477
1478SOURCE=.\src\bdd\cudd\cudd.h
1479# End Source File
1480# Begin Source File
1481
1482SOURCE=.\src\bdd\cudd\cuddAddAbs.c
1483# End Source File
1484# Begin Source File
1485
1486SOURCE=.\src\bdd\cudd\cuddAddApply.c
1487# End Source File
1488# Begin Source File
1489
1490SOURCE=.\src\bdd\cudd\cuddAddFind.c
1491# End Source File
1492# Begin Source File
1493
1494SOURCE=.\src\bdd\cudd\cuddAddInv.c
1495# End Source File
1496# Begin Source File
1497
1498SOURCE=.\src\bdd\cudd\cuddAddIte.c
1499# End Source File
1500# Begin Source File
1501
1502SOURCE=.\src\bdd\cudd\cuddAddNeg.c
1503# End Source File
1504# Begin Source File
1505
1506SOURCE=.\src\bdd\cudd\cuddAddWalsh.c
1507# End Source File
1508# Begin Source File
1509
1510SOURCE=.\src\bdd\cudd\cuddAndAbs.c
1511# End Source File
1512# Begin Source File
1513
1514SOURCE=.\src\bdd\cudd\cuddAnneal.c
1515# End Source File
1516# Begin Source File
1517
1518SOURCE=.\src\bdd\cudd\cuddApa.c
1519# End Source File
1520# Begin Source File
1521
1522SOURCE=.\src\bdd\cudd\cuddAPI.c
1523# End Source File
1524# Begin Source File
1525
1526SOURCE=.\src\bdd\cudd\cuddApprox.c
1527# End Source File
1528# Begin Source File
1529
1530SOURCE=.\src\bdd\cudd\cuddBddAbs.c
1531# End Source File
1532# Begin Source File
1533
1534SOURCE=.\src\bdd\cudd\cuddBddCorr.c
1535# End Source File
1536# Begin Source File
1537
1538SOURCE=.\src\bdd\cudd\cuddBddIte.c
1539# End Source File
1540# Begin Source File
1541
1542SOURCE=.\src\bdd\cudd\cuddBridge.c
1543# End Source File
1544# Begin Source File
1545
1546SOURCE=.\src\bdd\cudd\cuddCache.c
1547# End Source File
1548# Begin Source File
1549
1550SOURCE=.\src\bdd\cudd\cuddCheck.c
1551# End Source File
1552# Begin Source File
1553
1554SOURCE=.\src\bdd\cudd\cuddClip.c
1555# End Source File
1556# Begin Source File
1557
1558SOURCE=.\src\bdd\cudd\cuddCof.c
1559# End Source File
1560# Begin Source File
1561
1562SOURCE=.\src\bdd\cudd\cuddCompose.c
1563# End Source File
1564# Begin Source File
1565
1566SOURCE=.\src\bdd\cudd\cuddDecomp.c
1567# End Source File
1568# Begin Source File
1569
1570SOURCE=.\src\bdd\cudd\cuddEssent.c
1571# End Source File
1572# Begin Source File
1573
1574SOURCE=.\src\bdd\cudd\cuddExact.c
1575# End Source File
1576# Begin Source File
1577
1578SOURCE=.\src\bdd\cudd\cuddExport.c
1579# End Source File
1580# Begin Source File
1581
1582SOURCE=.\src\bdd\cudd\cuddGenCof.c
1583# End Source File
1584# Begin Source File
1585
1586SOURCE=.\src\bdd\cudd\cuddGenetic.c
1587# End Source File
1588# Begin Source File
1589
1590SOURCE=.\src\bdd\cudd\cuddGroup.c
1591# End Source File
1592# Begin Source File
1593
1594SOURCE=.\src\bdd\cudd\cuddHarwell.c
1595# End Source File
1596# Begin Source File
1597
1598SOURCE=.\src\bdd\cudd\cuddInit.c
1599# End Source File
1600# Begin Source File
1601
1602SOURCE=.\src\bdd\cudd\cuddInt.h
1603# End Source File
1604# Begin Source File
1605
1606SOURCE=.\src\bdd\cudd\cuddInteract.c
1607# End Source File
1608# Begin Source File
1609
1610SOURCE=.\src\bdd\cudd\cuddLCache.c
1611# End Source File
1612# Begin Source File
1613
1614SOURCE=.\src\bdd\cudd\cuddLevelQ.c
1615# End Source File
1616# Begin Source File
1617
1618SOURCE=.\src\bdd\cudd\cuddLinear.c
1619# End Source File
1620# Begin Source File
1621
1622SOURCE=.\src\bdd\cudd\cuddLiteral.c
1623# End Source File
1624# Begin Source File
1625
1626SOURCE=.\src\bdd\cudd\cuddMatMult.c
1627# End Source File
1628# Begin Source File
1629
1630SOURCE=.\src\bdd\cudd\cuddPriority.c
1631# End Source File
1632# Begin Source File
1633
1634SOURCE=.\src\bdd\cudd\cuddRead.c
1635# End Source File
1636# Begin Source File
1637
1638SOURCE=.\src\bdd\cudd\cuddRef.c
1639# End Source File
1640# Begin Source File
1641
1642SOURCE=.\src\bdd\cudd\cuddReorder.c
1643# End Source File
1644# Begin Source File
1645
1646SOURCE=.\src\bdd\cudd\cuddSat.c
1647# End Source File
1648# Begin Source File
1649
1650SOURCE=.\src\bdd\cudd\cuddSign.c
1651# End Source File
1652# Begin Source File
1653
1654SOURCE=.\src\bdd\cudd\cuddSolve.c
1655# End Source File
1656# Begin Source File
1657
1658SOURCE=.\src\bdd\cudd\cuddSplit.c
1659# End Source File
1660# Begin Source File
1661
1662SOURCE=.\src\bdd\cudd\cuddSubsetHB.c
1663# End Source File
1664# Begin Source File
1665
1666SOURCE=.\src\bdd\cudd\cuddSubsetSP.c
1667# End Source File
1668# Begin Source File
1669
1670SOURCE=.\src\bdd\cudd\cuddSymmetry.c
1671# End Source File
1672# Begin Source File
1673
1674SOURCE=.\src\bdd\cudd\cuddTable.c
1675# End Source File
1676# Begin Source File
1677
1678SOURCE=.\src\bdd\cudd\cuddUtil.c
1679# End Source File
1680# Begin Source File
1681
1682SOURCE=.\src\bdd\cudd\cuddWindow.c
1683# End Source File
1684# Begin Source File
1685
1686SOURCE=.\src\bdd\cudd\cuddZddCount.c
1687# End Source File
1688# Begin Source File
1689
1690SOURCE=.\src\bdd\cudd\cuddZddFuncs.c
1691# End Source File
1692# Begin Source File
1693
1694SOURCE=.\src\bdd\cudd\cuddZddGroup.c
1695# End Source File
1696# Begin Source File
1697
1698SOURCE=.\src\bdd\cudd\cuddZddIsop.c
1699# End Source File
1700# Begin Source File
1701
1702SOURCE=.\src\bdd\cudd\cuddZddLin.c
1703# End Source File
1704# Begin Source File
1705
1706SOURCE=.\src\bdd\cudd\cuddZddMisc.c
1707# End Source File
1708# Begin Source File
1709
1710SOURCE=.\src\bdd\cudd\cuddZddPort.c
1711# End Source File
1712# Begin Source File
1713
1714SOURCE=.\src\bdd\cudd\cuddZddReord.c
1715# End Source File
1716# Begin Source File
1717
1718SOURCE=.\src\bdd\cudd\cuddZddSetop.c
1719# End Source File
1720# Begin Source File
1721
1722SOURCE=.\src\bdd\cudd\cuddZddSymm.c
1723# End Source File
1724# Begin Source File
1725
1726SOURCE=.\src\bdd\cudd\cuddZddUtil.c
1727# End Source File
1728# End Group
1729# End Group
1730# Begin Group "sat"
1731
1732# PROP Default_Filter ""
1733# Begin Group "msat"
1734
1735# PROP Default_Filter ""
1736# Begin Source File
1737
1738SOURCE=.\src\sat\msat\msat.h
1739# End Source File
1740# Begin Source File
1741
1742SOURCE=.\src\sat\msat\msatActivity.c
1743# End Source File
1744# Begin Source File
1745
1746SOURCE=.\src\sat\msat\msatClause.c
1747# End Source File
1748# Begin Source File
1749
1750SOURCE=.\src\sat\msat\msatClauseVec.c
1751# End Source File
1752# Begin Source File
1753
1754SOURCE=.\src\sat\msat\msatInt.h
1755# End Source File
1756# Begin Source File
1757
1758SOURCE=.\src\sat\msat\msatMem.c
1759# End Source File
1760# Begin Source File
1761
1762SOURCE=.\src\sat\msat\msatOrderH.c
1763# End Source File
1764# Begin Source File
1765
1766SOURCE=.\src\sat\msat\msatQueue.c
1767# End Source File
1768# Begin Source File
1769
1770SOURCE=.\src\sat\msat\msatRead.c
1771# End Source File
1772# Begin Source File
1773
1774SOURCE=.\src\sat\msat\msatSolverApi.c
1775# End Source File
1776# Begin Source File
1777
1778SOURCE=.\src\sat\msat\msatSolverCore.c
1779# End Source File
1780# Begin Source File
1781
1782SOURCE=.\src\sat\msat\msatSolverIo.c
1783# End Source File
1784# Begin Source File
1785
1786SOURCE=.\src\sat\msat\msatSolverSearch.c
1787# End Source File
1788# Begin Source File
1789
1790SOURCE=.\src\sat\msat\msatSort.c
1791# End Source File
1792# Begin Source File
1793
1794SOURCE=.\src\sat\msat\msatVec.c
1795# End Source File
1796# End Group
1797# Begin Group "csat"
1798
1799# PROP Default_Filter ""
1800# Begin Source File
1801
1802SOURCE=.\src\sat\csat\csat_apis.c
1803# End Source File
1804# Begin Source File
1805
1806SOURCE=.\src\sat\csat\csat_apis.h
1807# End Source File
1808# End Group
1809# Begin Group "bsat"
1810
1811# PROP Default_Filter ""
1812# Begin Source File
1813
1814SOURCE=.\src\sat\bsat\satClause.h
1815# End Source File
1816# Begin Source File
1817
1818SOURCE=.\src\sat\bsat\satInter.c
1819# End Source File
1820# Begin Source File
1821
1822SOURCE=.\src\sat\bsat\satInterA.c
1823# End Source File
1824# Begin Source File
1825
1826SOURCE=.\src\sat\bsat\satInterB.c
1827# End Source File
1828# Begin Source File
1829
1830SOURCE=.\src\sat\bsat\satInterP.c
1831# End Source File
1832# Begin Source File
1833
1834SOURCE=.\src\sat\bsat\satMem.c
1835# End Source File
1836# Begin Source File
1837
1838SOURCE=.\src\sat\bsat\satMem.h
1839# End Source File
1840# Begin Source File
1841
1842SOURCE=.\src\sat\bsat\satProof.c
1843# End Source File
1844# Begin Source File
1845
1846SOURCE=.\src\sat\bsat\satProof2.h
1847# End Source File
1848# Begin Source File
1849
1850SOURCE=.\src\sat\bsat\satSolver.c
1851# End Source File
1852# Begin Source File
1853
1854SOURCE=.\src\sat\bsat\satSolver.h
1855# End Source File
1856# Begin Source File
1857
1858SOURCE=.\src\sat\bsat\satSolver2.c
1859# End Source File
1860# Begin Source File
1861
1862SOURCE=.\src\sat\bsat\satSolver2.h
1863# End Source File
1864# Begin Source File
1865
1866SOURCE=.\src\sat\bsat\satSolver2i.c
1867# End Source File
1868# Begin Source File
1869
1870SOURCE=.\src\sat\bsat\satSolver3.c
1871# End Source File
1872# Begin Source File
1873
1874SOURCE=.\src\sat\bsat\satSolver3.h
1875# End Source File
1876# Begin Source File
1877
1878SOURCE=.\src\sat\bsat\satStore.c
1879# End Source File
1880# Begin Source File
1881
1882SOURCE=.\src\sat\bsat\satStore.h
1883# End Source File
1884# Begin Source File
1885
1886SOURCE=.\src\sat\bsat\satTrace.c
1887# End Source File
1888# Begin Source File
1889
1890SOURCE=.\src\sat\bsat\satTruth.c
1891# End Source File
1892# Begin Source File
1893
1894SOURCE=.\src\sat\bsat\satTruth.h
1895# End Source File
1896# Begin Source File
1897
1898SOURCE=.\src\sat\bsat\satUtil.c
1899# End Source File
1900# Begin Source File
1901
1902SOURCE=.\src\sat\bsat\satVec.h
1903# End Source File
1904# End Group
1905# Begin Group "proof"
1906
1907# PROP Default_Filter ""
1908# Begin Source File
1909
1910SOURCE=.\src\sat\proof\pr.c
1911# End Source File
1912# Begin Source File
1913
1914SOURCE=.\src\sat\proof\pr.h
1915# End Source File
1916# End Group
1917# Begin Group "psat"
1918
1919# PROP Default_Filter ""
1920# Begin Source File
1921
1922SOURCE=.\src\sat\psat\m114p.h
1923# End Source File
1924# Begin Source File
1925
1926SOURCE=.\src\sat\psat\m114p_types.h
1927# End Source File
1928# End Group
1929# Begin Group "lsat"
1930
1931# PROP Default_Filter ""
1932# Begin Source File
1933
1934SOURCE=.\src\sat\lsat\solver.h
1935# End Source File
1936# End Group
1937# Begin Group "cnf"
1938
1939# PROP Default_Filter ""
1940# Begin Source File
1941
1942SOURCE=.\src\sat\cnf\cnf.h
1943# End Source File
1944# Begin Source File
1945
1946SOURCE=.\src\sat\cnf\cnfCore.c
1947# End Source File
1948# Begin Source File
1949
1950SOURCE=.\src\sat\cnf\cnfCut.c
1951# End Source File
1952# Begin Source File
1953
1954SOURCE=.\src\sat\cnf\cnfData.c
1955# End Source File
1956# Begin Source File
1957
1958SOURCE=.\src\sat\cnf\cnfFast.c
1959# End Source File
1960# Begin Source File
1961
1962SOURCE=.\src\sat\cnf\cnfMan.c
1963# End Source File
1964# Begin Source File
1965
1966SOURCE=.\src\sat\cnf\cnfMap.c
1967# End Source File
1968# Begin Source File
1969
1970SOURCE=.\src\sat\cnf\cnfPost.c
1971# End Source File
1972# Begin Source File
1973
1974SOURCE=.\src\sat\cnf\cnfUtil.c
1975# End Source File
1976# Begin Source File
1977
1978SOURCE=.\src\sat\cnf\cnfWrite.c
1979# End Source File
1980# End Group
1981# Begin Group "bmc"
1982
1983# PROP Default_Filter ""
1984# Begin Source File
1985
1986SOURCE=.\src\sat\bmc\bmc.c
1987# End Source File
1988# Begin Source File
1989
1990SOURCE=.\src\sat\bmc\bmc.h
1991# End Source File
1992# Begin Source File
1993
1994SOURCE=.\src\sat\bmc\bmcBCore.c
1995# End Source File
1996# Begin Source File
1997
1998SOURCE=.\src\sat\bmc\bmcBmc.c
1999# End Source File
2000# Begin Source File
2001
2002SOURCE=.\src\sat\bmc\bmcBmc2.c
2003# End Source File
2004# Begin Source File
2005
2006SOURCE=.\src\sat\bmc\bmcBmc3.c
2007# End Source File
2008# Begin Source File
2009
2010SOURCE=.\src\sat\bmc\bmcBmcAnd.c
2011# End Source File
2012# Begin Source File
2013
2014SOURCE=.\src\sat\bmc\bmcBmcG.c
2015# End Source File
2016# Begin Source File
2017
2018SOURCE=.\src\sat\bmc\bmcBmci.c
2019# End Source File
2020# Begin Source File
2021
2022SOURCE=.\src\sat\bmc\bmcBmcS.c
2023# End Source File
2024# Begin Source File
2025
2026SOURCE=.\src\sat\bmc\bmcCexCare.c
2027# End Source File
2028# Begin Source File
2029
2030SOURCE=.\src\sat\bmc\bmcCexCut.c
2031# End Source File
2032# Begin Source File
2033
2034SOURCE=.\src\sat\bmc\bmcCexDepth.c
2035# End Source File
2036# Begin Source File
2037
2038SOURCE=.\src\sat\bmc\bmcCexMin1.c
2039# End Source File
2040# Begin Source File
2041
2042SOURCE=.\src\sat\bmc\bmcCexMin2.c
2043# End Source File
2044# Begin Source File
2045
2046SOURCE=.\src\sat\bmc\bmcCexTools.c
2047# End Source File
2048# Begin Source File
2049
2050SOURCE=.\src\sat\bmc\bmcChain.c
2051# End Source File
2052# Begin Source File
2053
2054SOURCE=.\src\sat\bmc\bmcClp.c
2055# End Source File
2056# Begin Source File
2057
2058SOURCE=.\src\sat\bmc\bmcEco.c
2059# End Source File
2060# Begin Source File
2061
2062SOURCE=.\src\sat\bmc\bmcExpand.c
2063# End Source File
2064# Begin Source File
2065
2066SOURCE=.\src\sat\bmc\bmcFault.c
2067# End Source File
2068# Begin Source File
2069
2070SOURCE=.\src\sat\bmc\bmcFx.c
2071# End Source File
2072# Begin Source File
2073
2074SOURCE=.\src\sat\bmc\bmcGen.c
2075# End Source File
2076# Begin Source File
2077
2078SOURCE=.\src\sat\bmc\bmcICheck.c
2079# End Source File
2080# Begin Source File
2081
2082SOURCE=.\src\sat\bmc\bmcInse.c
2083# End Source File
2084# Begin Source File
2085
2086SOURCE=.\src\sat\bmc\bmcLoad.c
2087# End Source File
2088# Begin Source File
2089
2090SOURCE=.\src\sat\bmc\bmcMaj.c
2091# End Source File
2092# Begin Source File
2093
2094SOURCE=.\src\sat\bmc\bmcMaj2.c
2095# End Source File
2096# Begin Source File
2097
2098SOURCE=.\src\sat\bmc\bmcMaj3.c
2099# End Source File
2100# Begin Source File
2101
2102SOURCE=.\src\sat\bmc\bmcMaxi.c
2103# End Source File
2104# Begin Source File
2105
2106SOURCE=.\src\sat\bmc\bmcMesh.c
2107# End Source File
2108# Begin Source File
2109
2110SOURCE=.\src\sat\bmc\bmcMesh2.c
2111# End Source File
2112# Begin Source File
2113
2114SOURCE=.\src\sat\bmc\bmcMulti.c
2115# End Source File
2116# Begin Source File
2117
2118SOURCE=.\src\sat\bmc\bmcUnroll.c
2119# End Source File
2120# End Group
2121# Begin Group "bsat2"
2122
2123# PROP Default_Filter ""
2124# End Group
2125# Begin Group "satoko"
2126
2127# PROP Default_Filter ""
2128# Begin Source File
2129
2130SOURCE=.\src\sat\satoko\act_clause.h
2131# End Source File
2132# Begin Source File
2133
2134SOURCE=.\src\sat\satoko\act_var.h
2135# End Source File
2136# Begin Source File
2137
2138SOURCE=.\src\sat\satoko\utils\b_queue.h
2139# End Source File
2140# Begin Source File
2141
2142SOURCE=.\src\sat\satoko\cdb.h
2143# End Source File
2144# Begin Source File
2145
2146SOURCE=.\src\sat\satoko\clause.h
2147# End Source File
2148# Begin Source File
2149
2150SOURCE=.\src\sat\satoko\cnf_reader.c
2151# End Source File
2152# Begin Source File
2153
2154SOURCE=.\src\sat\satoko\utils\heap.h
2155# End Source File
2156# Begin Source File
2157
2158SOURCE=.\src\sat\satoko\utils\mem.h
2159# End Source File
2160# Begin Source File
2161
2162SOURCE=.\src\sat\satoko\utils\misc.h
2163# End Source File
2164# Begin Source File
2165
2166SOURCE=.\src\sat\satoko\satoko.h
2167# End Source File
2168# Begin Source File
2169
2170SOURCE=.\src\sat\satoko\utils\sdbl.h
2171# End Source File
2172# Begin Source File
2173
2174SOURCE=.\src\sat\satoko\solver.c
2175# End Source File
2176# Begin Source File
2177
2178SOURCE=.\src\sat\satoko\solver.h
2179# End Source File
2180# Begin Source File
2181
2182SOURCE=.\src\sat\satoko\solver_api.c
2183# End Source File
2184# Begin Source File
2185
2186SOURCE=.\src\sat\satoko\utils\sort.h
2187# End Source File
2188# Begin Source File
2189
2190SOURCE=.\src\sat\satoko\types.h
2191# End Source File
2192# Begin Source File
2193
2194SOURCE=.\src\sat\satoko\utils\vec\vec_char.h
2195# End Source File
2196# Begin Source File
2197
2198SOURCE=.\src\sat\satoko\utils\vec\vec_flt.h
2199# End Source File
2200# Begin Source File
2201
2202SOURCE=.\src\sat\satoko\utils\vec\vec_int.h
2203# End Source File
2204# Begin Source File
2205
2206SOURCE=.\src\sat\satoko\utils\vec\vec_uint.h
2207# End Source File
2208# Begin Source File
2209
2210SOURCE=.\src\sat\satoko\watch_list.h
2211# End Source File
2212# End Group
2213# Begin Group "xsat"
2214
2215# PROP Default_Filter ""
2216# Begin Source File
2217
2218SOURCE=.\src\sat\xsat\xsat.h
2219# End Source File
2220# Begin Source File
2221
2222SOURCE=.\src\sat\xsat\xsatBQueue.h
2223# End Source File
2224# Begin Source File
2225
2226SOURCE=.\src\sat\xsat\xsatClause.h
2227# End Source File
2228# Begin Source File
2229
2230SOURCE=.\src\sat\xsat\xsatCnfReader.c
2231# End Source File
2232# Begin Source File
2233
2234SOURCE=.\src\sat\xsat\xsatHeap.h
2235# End Source File
2236# Begin Source File
2237
2238SOURCE=.\src\sat\xsat\xsatMemory.h
2239# End Source File
2240# Begin Source File
2241
2242SOURCE=.\src\sat\xsat\xsatSolver.c
2243# End Source File
2244# Begin Source File
2245
2246SOURCE=.\src\sat\xsat\xsatSolver.h
2247# End Source File
2248# Begin Source File
2249
2250SOURCE=.\src\sat\xsat\xsatSolverAPI.c
2251# End Source File
2252# Begin Source File
2253
2254SOURCE=.\src\sat\xsat\xsatUtils.h
2255# End Source File
2256# Begin Source File
2257
2258SOURCE=.\src\sat\xsat\xsatWatchList.h
2259# End Source File
2260# End Group
2261# Begin Group "glucose"
2262
2263# PROP Default_Filter ""
2264# Begin Source File
2265
2266SOURCE=.\src\sat\glucose\AbcGlucose.cpp
2267# End Source File
2268# Begin Source File
2269
2270SOURCE=.\src\sat\glucose\AbcGlucose.h
2271# End Source File
2272# Begin Source File
2273
2274SOURCE=.\src\sat\glucose\AbcGlucoseCmd.cpp
2275# End Source File
2276# Begin Source File
2277
2278SOURCE=.\src\sat\glucose\Alg.h
2279# End Source File
2280# Begin Source File
2281
2282SOURCE=.\src\sat\glucose\Alloc.h
2283# End Source File
2284# Begin Source File
2285
2286SOURCE=.\src\sat\glucose\BoundedQueue.h
2287# End Source File
2288# Begin Source File
2289
2290SOURCE=.\src\sat\glucose\Constants.h
2291# End Source File
2292# Begin Source File
2293
2294SOURCE=.\src\sat\glucose\Dimacs.h
2295# End Source File
2296# Begin Source File
2297
2298SOURCE=.\src\sat\glucose\Glucose.cpp
2299# End Source File
2300# Begin Source File
2301
2302SOURCE=.\src\sat\glucose\Heap.h
2303# End Source File
2304# Begin Source File
2305
2306SOURCE=.\src\sat\glucose\IntTypes.h
2307# End Source File
2308# Begin Source File
2309
2310SOURCE=.\src\sat\glucose\Map.h
2311# End Source File
2312# Begin Source File
2313
2314SOURCE=.\src\sat\glucose\Options.cpp
2315# End Source File
2316# Begin Source File
2317
2318SOURCE=.\src\sat\glucose\Options.h
2319# End Source File
2320# Begin Source File
2321
2322SOURCE=.\src\sat\glucose\ParseUtils.h
2323# End Source File
2324# Begin Source File
2325
2326SOURCE=.\src\sat\glucose\pstdint.h
2327# End Source File
2328# Begin Source File
2329
2330SOURCE=.\src\sat\glucose\Queue.h
2331# End Source File
2332# Begin Source File
2333
2334SOURCE=.\src\sat\glucose\SimpSolver.cpp
2335# End Source File
2336# Begin Source File
2337
2338SOURCE=.\src\sat\glucose\SimpSolver.h
2339# End Source File
2340# Begin Source File
2341
2342SOURCE=.\src\sat\glucose\Solver.h
2343# End Source File
2344# Begin Source File
2345
2346SOURCE=.\src\sat\glucose\SolverTypes.h
2347# End Source File
2348# Begin Source File
2349
2350SOURCE=.\src\sat\glucose\Sort.h
2351# End Source File
2352# Begin Source File
2353
2354SOURCE=.\src\sat\glucose\System.cpp
2355# End Source File
2356# Begin Source File
2357
2358SOURCE=.\src\sat\glucose\System.h
2359# End Source File
2360# Begin Source File
2361
2362SOURCE=.\src\sat\glucose\Vec.h
2363# End Source File
2364# Begin Source File
2365
2366SOURCE=.\src\sat\glucose\XAlloc.h
2367# End Source File
2368# End Group
2369# End Group
2370# Begin Group "opt"
2371
2372# PROP Default_Filter ""
2373# Begin Group "fxu"
2374
2375# PROP Default_Filter ""
2376# Begin Source File
2377
2378SOURCE=.\src\opt\fxu\fxu.c
2379# End Source File
2380# Begin Source File
2381
2382SOURCE=.\src\opt\fxu\fxu.h
2383# End Source File
2384# Begin Source File
2385
2386SOURCE=.\src\opt\fxu\fxuCreate.c
2387# End Source File
2388# Begin Source File
2389
2390SOURCE=.\src\opt\fxu\fxuHeapD.c
2391# End Source File
2392# Begin Source File
2393
2394SOURCE=.\src\opt\fxu\fxuHeapS.c
2395# End Source File
2396# Begin Source File
2397
2398SOURCE=.\src\opt\fxu\fxuInt.h
2399# End Source File
2400# Begin Source File
2401
2402SOURCE=.\src\opt\fxu\fxuList.c
2403# End Source File
2404# Begin Source File
2405
2406SOURCE=.\src\opt\fxu\fxuMatrix.c
2407# End Source File
2408# Begin Source File
2409
2410SOURCE=.\src\opt\fxu\fxuPair.c
2411# End Source File
2412# Begin Source File
2413
2414SOURCE=.\src\opt\fxu\fxuPrint.c
2415# End Source File
2416# Begin Source File
2417
2418SOURCE=.\src\opt\fxu\fxuReduce.c
2419# End Source File
2420# Begin Source File
2421
2422SOURCE=.\src\opt\fxu\fxuSelect.c
2423# End Source File
2424# Begin Source File
2425
2426SOURCE=.\src\opt\fxu\fxuSingle.c
2427# End Source File
2428# Begin Source File
2429
2430SOURCE=.\src\opt\fxu\fxuUpdate.c
2431# End Source File
2432# End Group
2433# Begin Group "rwr"
2434
2435# PROP Default_Filter ""
2436# Begin Source File
2437
2438SOURCE=.\src\opt\rwr\rwr.h
2439# End Source File
2440# Begin Source File
2441
2442SOURCE=.\src\opt\rwr\rwrDec.c
2443# End Source File
2444# Begin Source File
2445
2446SOURCE=.\src\opt\rwr\rwrEva.c
2447# End Source File
2448# Begin Source File
2449
2450SOURCE=.\src\opt\rwr\rwrExp.c
2451# End Source File
2452# Begin Source File
2453
2454SOURCE=.\src\opt\rwr\rwrLib.c
2455# End Source File
2456# Begin Source File
2457
2458SOURCE=.\src\opt\rwr\rwrMan.c
2459# End Source File
2460# Begin Source File
2461
2462SOURCE=.\src\opt\rwr\rwrPrint.c
2463# End Source File
2464# Begin Source File
2465
2466SOURCE=.\src\opt\rwr\rwrTemp.c
2467# End Source File
2468# Begin Source File
2469
2470SOURCE=.\src\opt\rwr\rwrUtil.c
2471# End Source File
2472# End Group
2473# Begin Group "cut"
2474
2475# PROP Default_Filter ""
2476# Begin Source File
2477
2478SOURCE=.\src\opt\cut\cut.h
2479# End Source File
2480# Begin Source File
2481
2482SOURCE=.\src\opt\cut\cutApi.c
2483# End Source File
2484# Begin Source File
2485
2486SOURCE=.\src\opt\cut\cutCut.c
2487# End Source File
2488# Begin Source File
2489
2490SOURCE=.\src\opt\cut\cutExpand.c
2491# End Source File
2492# Begin Source File
2493
2494SOURCE=.\src\opt\cut\cutInt.h
2495# End Source File
2496# Begin Source File
2497
2498SOURCE=.\src\opt\cut\cutList.h
2499# End Source File
2500# Begin Source File
2501
2502SOURCE=.\src\opt\cut\cutMan.c
2503# End Source File
2504# Begin Source File
2505
2506SOURCE=.\src\opt\cut\cutMerge.c
2507# End Source File
2508# Begin Source File
2509
2510SOURCE=.\src\opt\cut\cutNode.c
2511# End Source File
2512# Begin Source File
2513
2514SOURCE=.\src\opt\cut\cutOracle.c
2515# End Source File
2516# Begin Source File
2517
2518SOURCE=.\src\opt\cut\cutPre22.c
2519# End Source File
2520# Begin Source File
2521
2522SOURCE=.\src\opt\cut\cutSeq.c
2523# End Source File
2524# Begin Source File
2525
2526SOURCE=.\src\opt\cut\cutTruth.c
2527# End Source File
2528# End Group
2529# Begin Group "sim"
2530
2531# PROP Default_Filter ""
2532# Begin Source File
2533
2534SOURCE=.\src\opt\sim\sim.h
2535# End Source File
2536# Begin Source File
2537
2538SOURCE=.\src\opt\sim\simMan.c
2539# End Source File
2540# Begin Source File
2541
2542SOURCE=.\src\opt\sim\simSat.c
2543# End Source File
2544# Begin Source File
2545
2546SOURCE=.\src\opt\sim\simSeq.c
2547# End Source File
2548# Begin Source File
2549
2550SOURCE=.\src\opt\sim\simSupp.c
2551# End Source File
2552# Begin Source File
2553
2554SOURCE=.\src\opt\sim\simSwitch.c
2555# End Source File
2556# Begin Source File
2557
2558SOURCE=.\src\opt\sim\simSym.c
2559# End Source File
2560# Begin Source File
2561
2562SOURCE=.\src\opt\sim\simSymSat.c
2563# End Source File
2564# Begin Source File
2565
2566SOURCE=.\src\opt\sim\simSymSim.c
2567# End Source File
2568# Begin Source File
2569
2570SOURCE=.\src\opt\sim\simSymStr.c
2571# End Source File
2572# Begin Source File
2573
2574SOURCE=.\src\opt\sim\simUtils.c
2575# End Source File
2576# End Group
2577# Begin Group "ret"
2578
2579# PROP Default_Filter ""
2580# Begin Source File
2581
2582SOURCE=.\src\opt\ret\retArea.c
2583# End Source File
2584# Begin Source File
2585
2586SOURCE=.\src\opt\ret\retCore.c
2587# End Source File
2588# Begin Source File
2589
2590SOURCE=.\src\opt\ret\retDelay.c
2591# End Source File
2592# Begin Source File
2593
2594SOURCE=.\src\opt\ret\retFlow.c
2595# End Source File
2596# Begin Source File
2597
2598SOURCE=.\src\opt\ret\retIncrem.c
2599# End Source File
2600# Begin Source File
2601
2602SOURCE=.\src\opt\ret\retInit.c
2603# End Source File
2604# Begin Source File
2605
2606SOURCE=.\src\opt\ret\retInt.h
2607# End Source File
2608# Begin Source File
2609
2610SOURCE=.\src\opt\ret\retLvalue.c
2611# End Source File
2612# End Group
2613# Begin Group "res"
2614
2615# PROP Default_Filter ""
2616# Begin Source File
2617
2618SOURCE=.\src\opt\res\res.h
2619# End Source File
2620# Begin Source File
2621
2622SOURCE=.\src\opt\res\resCore.c
2623# End Source File
2624# Begin Source File
2625
2626SOURCE=.\src\opt\res\resDivs.c
2627# End Source File
2628# Begin Source File
2629
2630SOURCE=.\src\opt\res\resFilter.c
2631# End Source File
2632# Begin Source File
2633
2634SOURCE=.\src\opt\res\resInt.h
2635# End Source File
2636# Begin Source File
2637
2638SOURCE=.\src\opt\res\resSat.c
2639# End Source File
2640# Begin Source File
2641
2642SOURCE=.\src\opt\res\resSim.c
2643# End Source File
2644# Begin Source File
2645
2646SOURCE=.\src\opt\res\resStrash.c
2647# End Source File
2648# Begin Source File
2649
2650SOURCE=.\src\opt\res\resWin.c
2651# End Source File
2652# End Group
2653# Begin Group "lpk"
2654
2655# PROP Default_Filter ""
2656# Begin Source File
2657
2658SOURCE=.\src\opt\lpk\lpk.h
2659# End Source File
2660# Begin Source File
2661
2662SOURCE=.\src\opt\lpk\lpkAbcDec.c
2663# End Source File
2664# Begin Source File
2665
2666SOURCE=.\src\opt\lpk\lpkAbcDsd.c
2667# End Source File
2668# Begin Source File
2669
2670SOURCE=.\src\opt\lpk\lpkAbcMux.c
2671# End Source File
2672# Begin Source File
2673
2674SOURCE=.\src\opt\lpk\lpkAbcUtil.c
2675# End Source File
2676# Begin Source File
2677
2678SOURCE=.\src\opt\lpk\lpkCore.c
2679# End Source File
2680# Begin Source File
2681
2682SOURCE=.\src\opt\lpk\lpkCut.c
2683# End Source File
2684# Begin Source File
2685
2686SOURCE=.\src\opt\lpk\lpkInt.h
2687# End Source File
2688# Begin Source File
2689
2690SOURCE=.\src\opt\lpk\lpkMan.c
2691# End Source File
2692# Begin Source File
2693
2694SOURCE=.\src\opt\lpk\lpkMap.c
2695# End Source File
2696# Begin Source File
2697
2698SOURCE=.\src\opt\lpk\lpkMulti.c
2699# End Source File
2700# Begin Source File
2701
2702SOURCE=.\src\opt\lpk\lpkMux.c
2703# End Source File
2704# Begin Source File
2705
2706SOURCE=.\src\opt\lpk\lpkSets.c
2707# End Source File
2708# End Group
2709# Begin Group "mfs"
2710
2711# PROP Default_Filter ""
2712# Begin Source File
2713
2714SOURCE=.\src\opt\mfs\mfs.h
2715# End Source File
2716# Begin Source File
2717
2718SOURCE=.\src\opt\mfs\mfsCore.c
2719# End Source File
2720# Begin Source File
2721
2722SOURCE=.\src\opt\mfs\mfsDiv.c
2723# End Source File
2724# Begin Source File
2725
2726SOURCE=.\src\opt\mfs\mfsInt.h
2727# End Source File
2728# Begin Source File
2729
2730SOURCE=.\src\opt\mfs\mfsInter.c
2731# End Source File
2732# Begin Source File
2733
2734SOURCE=.\src\opt\mfs\mfsMan.c
2735# End Source File
2736# Begin Source File
2737
2738SOURCE=.\src\opt\mfs\mfsResub.c
2739# End Source File
2740# Begin Source File
2741
2742SOURCE=.\src\opt\mfs\mfsSat.c
2743# End Source File
2744# Begin Source File
2745
2746SOURCE=.\src\opt\mfs\mfsStrash.c
2747# End Source File
2748# Begin Source File
2749
2750SOURCE=.\src\opt\mfs\mfsWin.c
2751# End Source File
2752# End Group
2753# Begin Group "cgt"
2754
2755# PROP Default_Filter ""
2756# Begin Source File
2757
2758SOURCE=.\src\opt\cgt\cgt.h
2759# End Source File
2760# Begin Source File
2761
2762SOURCE=.\src\opt\cgt\cgtAig.c
2763# End Source File
2764# Begin Source File
2765
2766SOURCE=.\src\opt\cgt\cgtCore.c
2767# End Source File
2768# Begin Source File
2769
2770SOURCE=.\src\opt\cgt\cgtDecide.c
2771# End Source File
2772# Begin Source File
2773
2774SOURCE=.\src\opt\cgt\cgtInt.h
2775# End Source File
2776# Begin Source File
2777
2778SOURCE=.\src\opt\cgt\cgtMan.c
2779# End Source File
2780# Begin Source File
2781
2782SOURCE=.\src\opt\cgt\cgtSat.c
2783# End Source File
2784# End Group
2785# Begin Group "csw"
2786
2787# PROP Default_Filter ""
2788# Begin Source File
2789
2790SOURCE=.\src\opt\csw\csw.h
2791# End Source File
2792# Begin Source File
2793
2794SOURCE=.\src\opt\csw\cswCore.c
2795# End Source File
2796# Begin Source File
2797
2798SOURCE=.\src\opt\csw\cswCut.c
2799# End Source File
2800# Begin Source File
2801
2802SOURCE=.\src\opt\csw\cswInt.h
2803# End Source File
2804# Begin Source File
2805
2806SOURCE=.\src\opt\csw\cswMan.c
2807# End Source File
2808# Begin Source File
2809
2810SOURCE=.\src\opt\csw\cswTable.c
2811# End Source File
2812# End Group
2813# Begin Group "dar"
2814
2815# PROP Default_Filter ""
2816# Begin Source File
2817
2818SOURCE=.\src\opt\dar\dar.h
2819# End Source File
2820# Begin Source File
2821
2822SOURCE=.\src\opt\dar\darBalance.c
2823# End Source File
2824# Begin Source File
2825
2826SOURCE=.\src\opt\dar\darCore.c
2827# End Source File
2828# Begin Source File
2829
2830SOURCE=.\src\opt\dar\darCut.c
2831# End Source File
2832# Begin Source File
2833
2834SOURCE=.\src\opt\dar\darData.c
2835# End Source File
2836# Begin Source File
2837
2838SOURCE=.\src\opt\dar\darInt.h
2839# End Source File
2840# Begin Source File
2841
2842SOURCE=.\src\opt\dar\darLib.c
2843# End Source File
2844# Begin Source File
2845
2846SOURCE=.\src\opt\dar\darMan.c
2847# End Source File
2848# Begin Source File
2849
2850SOURCE=.\src\opt\dar\darPrec.c
2851# End Source File
2852# Begin Source File
2853
2854SOURCE=.\src\opt\dar\darRefact.c
2855# End Source File
2856# Begin Source File
2857
2858SOURCE=.\src\opt\dar\darResub.c
2859# End Source File
2860# Begin Source File
2861
2862SOURCE=.\src\opt\dar\darScript.c
2863# End Source File
2864# End Group
2865# Begin Group "rwt"
2866
2867# PROP Default_Filter ""
2868# Begin Source File
2869
2870SOURCE=.\src\opt\rwt\rwt.h
2871# End Source File
2872# Begin Source File
2873
2874SOURCE=.\src\opt\rwt\rwtDec.c
2875# End Source File
2876# Begin Source File
2877
2878SOURCE=.\src\opt\rwt\rwtMan.c
2879# End Source File
2880# Begin Source File
2881
2882SOURCE=.\src\opt\rwt\rwtUtil.c
2883# End Source File
2884# End Group
2885# Begin Group "nwk"
2886
2887# PROP Default_Filter ""
2888# Begin Source File
2889
2890SOURCE=.\src\opt\nwk\ntlnwk.h
2891# End Source File
2892# Begin Source File
2893
2894SOURCE=.\src\opt\nwk\nwk.h
2895# End Source File
2896# Begin Source File
2897
2898SOURCE=.\src\opt\nwk\nwkAig.c
2899# End Source File
2900# Begin Source File
2901
2902SOURCE=.\src\opt\nwk\nwkBidec.c
2903# End Source File
2904# Begin Source File
2905
2906SOURCE=.\src\opt\nwk\nwkCheck.c
2907# End Source File
2908# Begin Source File
2909
2910SOURCE=.\src\opt\nwk\nwkDfs.c
2911# End Source File
2912# Begin Source File
2913
2914SOURCE=.\src\opt\nwk\nwkFanio.c
2915# End Source File
2916# Begin Source File
2917
2918SOURCE=.\src\opt\nwk\nwkFlow.c
2919# End Source File
2920# Begin Source File
2921
2922SOURCE=.\src\opt\nwk\nwkMan.c
2923# End Source File
2924# Begin Source File
2925
2926SOURCE=.\src\opt\nwk\nwkMap.c
2927# End Source File
2928# Begin Source File
2929
2930SOURCE=.\src\opt\nwk\nwkMerge.c
2931# End Source File
2932# Begin Source File
2933
2934SOURCE=.\src\opt\nwk\nwkMerge.h
2935# End Source File
2936# Begin Source File
2937
2938SOURCE=.\src\opt\nwk\nwkObj.c
2939# End Source File
2940# Begin Source File
2941
2942SOURCE=.\src\opt\nwk\nwkSpeedup.c
2943# End Source File
2944# Begin Source File
2945
2946SOURCE=.\src\opt\nwk\nwkStrash.c
2947# End Source File
2948# Begin Source File
2949
2950SOURCE=.\src\opt\nwk\nwkTiming.c
2951# End Source File
2952# Begin Source File
2953
2954SOURCE=.\src\opt\nwk\nwkUtil.c
2955# End Source File
2956# End Group
2957# Begin Group "dau"
2958
2959# PROP Default_Filter ""
2960# Begin Source File
2961
2962SOURCE=.\src\opt\dau\dau.c
2963# End Source File
2964# Begin Source File
2965
2966SOURCE=.\src\opt\dau\dau.h
2967# End Source File
2968# Begin Source File
2969
2970SOURCE=.\src\opt\dau\dauCanon.c
2971# End Source File
2972# Begin Source File
2973
2974SOURCE=.\src\opt\dau\dauCore.c
2975# End Source File
2976# Begin Source File
2977
2978SOURCE=.\src\opt\dau\dauCount.c
2979# End Source File
2980# Begin Source File
2981
2982SOURCE=.\src\opt\dau\dauDivs.c
2983# End Source File
2984# Begin Source File
2985
2986SOURCE=.\src\opt\dau\dauDsd.c
2987# End Source File
2988# Begin Source File
2989
2990SOURCE=.\src\opt\dau\dauEnum.c
2991# End Source File
2992# Begin Source File
2993
2994SOURCE=.\src\opt\dau\dauGia.c
2995# End Source File
2996# Begin Source File
2997
2998SOURCE=.\src\opt\dau\dauInt.h
2999# End Source File
3000# Begin Source File
3001
3002SOURCE=.\src\opt\dau\dauMerge.c
3003# End Source File
3004# Begin Source File
3005
3006SOURCE=.\src\opt\dau\dauNonDsd.c
3007# End Source File
3008# Begin Source File
3009
3010SOURCE=.\src\opt\dau\dauNpn.c
3011# End Source File
3012# Begin Source File
3013
3014SOURCE=.\src\opt\dau\dauNpn2.c
3015# End Source File
3016# Begin Source File
3017
3018SOURCE=.\src\opt\dau\dauTree.c
3019# End Source File
3020# End Group
3021# Begin Group "sfm"
3022
3023# PROP Default_Filter ""
3024# Begin Source File
3025
3026SOURCE=.\src\opt\sfm\sfm.h
3027# End Source File
3028# Begin Source File
3029
3030SOURCE=.\src\opt\sfm\sfmArea.c
3031# End Source File
3032# Begin Source File
3033
3034SOURCE=.\src\opt\sfm\sfmCnf.c
3035# End Source File
3036# Begin Source File
3037
3038SOURCE=.\src\opt\sfm\sfmCore.c
3039# End Source File
3040# Begin Source File
3041
3042SOURCE=.\src\opt\sfm\sfmDec.c
3043# End Source File
3044# Begin Source File
3045
3046SOURCE=.\src\opt\sfm\sfmInt.h
3047# End Source File
3048# Begin Source File
3049
3050SOURCE=.\src\opt\sfm\sfmLib.c
3051# End Source File
3052# Begin Source File
3053
3054SOURCE=.\src\opt\sfm\sfmMit.c
3055# End Source File
3056# Begin Source File
3057
3058SOURCE=.\src\opt\sfm\sfmNtk.c
3059# End Source File
3060# Begin Source File
3061
3062SOURCE=.\src\opt\sfm\sfmSat.c
3063# End Source File
3064# Begin Source File
3065
3066SOURCE=.\src\opt\sfm\sfmTim.c
3067# End Source File
3068# Begin Source File
3069
3070SOURCE=.\src\opt\sfm\sfmWin.c
3071# End Source File
3072# End Group
3073# Begin Group "fret"
3074
3075# PROP Default_Filter ""
3076# Begin Source File
3077
3078SOURCE=.\src\opt\fret\fretFlow.c
3079# End Source File
3080# Begin Source File
3081
3082SOURCE=.\src\opt\fret\fretime.h
3083# End Source File
3084# Begin Source File
3085
3086SOURCE=.\src\opt\fret\fretInit.c
3087# End Source File
3088# Begin Source File
3089
3090SOURCE=.\src\opt\fret\fretMain.c
3091# End Source File
3092# Begin Source File
3093
3094SOURCE=.\src\opt\fret\fretTime.c
3095# End Source File
3096# End Group
3097# Begin Group "fxch"
3098
3099# PROP Default_Filter ""
3100# Begin Source File
3101
3102SOURCE=.\src\opt\fxch\Fxch.c
3103# End Source File
3104# Begin Source File
3105
3106SOURCE=.\src\opt\fxch\Fxch.h
3107# End Source File
3108# Begin Source File
3109
3110SOURCE=.\src\opt\fxch\FxchDiv.c
3111# End Source File
3112# Begin Source File
3113
3114SOURCE=.\src\opt\fxch\FxchMan.c
3115# End Source File
3116# Begin Source File
3117
3118SOURCE=.\src\opt\fxch\FxchSCHashTable.c
3119# End Source File
3120# End Group
3121# Begin Group "dsc"
3122
3123# PROP Default_Filter ""
3124# Begin Source File
3125
3126SOURCE=.\src\opt\dsc\dsc.c
3127# End Source File
3128# Begin Source File
3129
3130SOURCE=.\src\opt\dsc\dsc.h
3131# End Source File
3132# End Group
3133# Begin Group "sbd"
3134
3135# PROP Default_Filter ""
3136# Begin Source File
3137
3138SOURCE=.\src\opt\sbd\sbd.c
3139# End Source File
3140# Begin Source File
3141
3142SOURCE=.\src\opt\sbd\sbd.h
3143# End Source File
3144# Begin Source File
3145
3146SOURCE=.\src\opt\sbd\sbdCnf.c
3147# End Source File
3148# Begin Source File
3149
3150SOURCE=.\src\opt\sbd\sbdCore.c
3151# End Source File
3152# Begin Source File
3153
3154SOURCE=.\src\opt\sbd\sbdCut.c
3155# End Source File
3156# Begin Source File
3157
3158SOURCE=.\src\opt\sbd\sbdCut2.c
3159# End Source File
3160# Begin Source File
3161
3162SOURCE=.\src\opt\sbd\sbdInt.h
3163# End Source File
3164# Begin Source File
3165
3166SOURCE=.\src\opt\sbd\sbdLut.c
3167# End Source File
3168# Begin Source File
3169
3170SOURCE=.\src\opt\sbd\sbdPath.c
3171# End Source File
3172# Begin Source File
3173
3174SOURCE=.\src\opt\sbd\sbdSat.c
3175# End Source File
3176# Begin Source File
3177
3178SOURCE=.\src\opt\sbd\sbdWin.c
3179# End Source File
3180# End Group
3181# End Group
3182# Begin Group "map"
3183
3184# PROP Default_Filter ""
3185# Begin Group "mapper"
3186
3187# PROP Default_Filter ""
3188# Begin Source File
3189
3190SOURCE=.\src\map\mapper\mapper.c
3191# End Source File
3192# Begin Source File
3193
3194SOURCE=.\src\map\mapper\mapper.h
3195# End Source File
3196# Begin Source File
3197
3198SOURCE=.\src\map\mapper\mapperCanon.c
3199# End Source File
3200# Begin Source File
3201
3202SOURCE=.\src\map\mapper\mapperCore.c
3203# End Source File
3204# Begin Source File
3205
3206SOURCE=.\src\map\mapper\mapperCreate.c
3207# End Source File
3208# Begin Source File
3209
3210SOURCE=.\src\map\mapper\mapperCut.c
3211# End Source File
3212# Begin Source File
3213
3214SOURCE=.\src\map\mapper\mapperCutUtils.c
3215# End Source File
3216# Begin Source File
3217
3218SOURCE=.\src\map\mapper\mapperFanout.c
3219# End Source File
3220# Begin Source File
3221
3222SOURCE=.\src\map\mapper\mapperInt.h
3223# End Source File
3224# Begin Source File
3225
3226SOURCE=.\src\map\mapper\mapperLib.c
3227# End Source File
3228# Begin Source File
3229
3230SOURCE=.\src\map\mapper\mapperMatch.c
3231# End Source File
3232# Begin Source File
3233
3234SOURCE=.\src\map\mapper\mapperRefs.c
3235# End Source File
3236# Begin Source File
3237
3238SOURCE=.\src\map\mapper\mapperSuper.c
3239# End Source File
3240# Begin Source File
3241
3242SOURCE=.\src\map\mapper\mapperSwitch.c
3243# End Source File
3244# Begin Source File
3245
3246SOURCE=.\src\map\mapper\mapperTable.c
3247# End Source File
3248# Begin Source File
3249
3250SOURCE=.\src\map\mapper\mapperTime.c
3251# End Source File
3252# Begin Source File
3253
3254SOURCE=.\src\map\mapper\mapperTree.c
3255# End Source File
3256# Begin Source File
3257
3258SOURCE=.\src\map\mapper\mapperTruth.c
3259# End Source File
3260# Begin Source File
3261
3262SOURCE=.\src\map\mapper\mapperUtils.c
3263# End Source File
3264# Begin Source File
3265
3266SOURCE=.\src\map\mapper\mapperVec.c
3267# End Source File
3268# End Group
3269# Begin Group "mio"
3270
3271# PROP Default_Filter ""
3272# Begin Source File
3273
3274SOURCE=.\src\map\mio\exp.h
3275# End Source File
3276# Begin Source File
3277
3278SOURCE=.\src\map\mio\mio.c
3279# End Source File
3280# Begin Source File
3281
3282SOURCE=.\src\map\mio\mio.h
3283# End Source File
3284# Begin Source File
3285
3286SOURCE=.\src\map\mio\mioApi.c
3287# End Source File
3288# Begin Source File
3289
3290SOURCE=.\src\map\mio\mioFunc.c
3291# End Source File
3292# Begin Source File
3293
3294SOURCE=.\src\map\mio\mioInt.h
3295# End Source File
3296# Begin Source File
3297
3298SOURCE=.\src\map\mio\mioParse.c
3299# End Source File
3300# Begin Source File
3301
3302SOURCE=.\src\map\mio\mioRead.c
3303# End Source File
3304# Begin Source File
3305
3306SOURCE=.\src\map\mio\mioSop.c
3307# End Source File
3308# Begin Source File
3309
3310SOURCE=.\src\map\mio\mioUtils.c
3311# End Source File
3312# End Group
3313# Begin Group "super"
3314
3315# PROP Default_Filter ""
3316# Begin Source File
3317
3318SOURCE=.\src\map\super\super.c
3319# End Source File
3320# Begin Source File
3321
3322SOURCE=.\src\map\super\super.h
3323# End Source File
3324# Begin Source File
3325
3326SOURCE=.\src\map\super\superAnd.c
3327# End Source File
3328# Begin Source File
3329
3330SOURCE=.\src\map\super\superGate.c
3331# End Source File
3332# Begin Source File
3333
3334SOURCE=.\src\map\super\superInt.h
3335# End Source File
3336# End Group
3337# Begin Group "if"
3338
3339# PROP Default_Filter ""
3340# Begin Source File
3341
3342SOURCE=.\src\map\if\if.h
3343# End Source File
3344# Begin Source File
3345
3346SOURCE=.\src\map\if\ifCache.c
3347# End Source File
3348# Begin Source File
3349
3350SOURCE=.\src\map\if\ifCom.c
3351# End Source File
3352# Begin Source File
3353
3354SOURCE=.\src\map\if\ifCore.c
3355# End Source File
3356# Begin Source File
3357
3358SOURCE=.\src\map\if\ifCount.h
3359# End Source File
3360# Begin Source File
3361
3362SOURCE=.\src\map\if\ifCut.c
3363# End Source File
3364# Begin Source File
3365
3366SOURCE=.\src\map\if\ifData2.c
3367# End Source File
3368# Begin Source File
3369
3370SOURCE=.\src\map\if\ifDec07.c
3371# End Source File
3372# Begin Source File
3373
3374SOURCE=.\src\map\if\ifDec08.c
3375# End Source File
3376# Begin Source File
3377
3378SOURCE=.\src\map\if\ifDec10.c
3379# End Source File
3380# Begin Source File
3381
3382SOURCE=.\src\map\if\ifDec16.c
3383# End Source File
3384# Begin Source File
3385
3386SOURCE=.\src\map\if\ifDec75.c
3387# End Source File
3388# Begin Source File
3389
3390SOURCE=.\src\map\if\ifDelay.c
3391# End Source File
3392# Begin Source File
3393
3394SOURCE=.\src\map\if\ifDsd.c
3395# End Source File
3396# Begin Source File
3397
3398SOURCE=.\src\map\if\ifLibBox.c
3399# End Source File
3400# Begin Source File
3401
3402SOURCE=.\src\map\if\ifLibLut.c
3403# End Source File
3404# Begin Source File
3405
3406SOURCE=.\src\map\if\ifMan.c
3407# End Source File
3408# Begin Source File
3409
3410SOURCE=.\src\map\if\ifMap.c
3411# End Source File
3412# Begin Source File
3413
3414SOURCE=.\src\map\if\ifMatch2.c
3415# End Source File
3416# Begin Source File
3417
3418SOURCE=.\src\map\if\ifReduce.c
3419# End Source File
3420# Begin Source File
3421
3422SOURCE=.\src\map\if\ifSat.c
3423# End Source File
3424# Begin Source File
3425
3426SOURCE=.\src\map\if\ifSelect.c
3427# End Source File
3428# Begin Source File
3429
3430SOURCE=.\src\map\if\ifSeq.c
3431# End Source File
3432# Begin Source File
3433
3434SOURCE=.\src\map\if\ifTest.c
3435# End Source File
3436# Begin Source File
3437
3438SOURCE=.\src\map\if\ifTime.c
3439# End Source File
3440# Begin Source File
3441
3442SOURCE=.\src\map\if\ifTruth.c
3443# End Source File
3444# Begin Source File
3445
3446SOURCE=.\src\map\if\ifTune.c
3447# End Source File
3448# Begin Source File
3449
3450SOURCE=.\src\map\if\ifUtil.c
3451# End Source File
3452# End Group
3453# Begin Group "amap"
3454
3455# PROP Default_Filter ""
3456# Begin Source File
3457
3458SOURCE=.\src\map\amap\amap.h
3459# End Source File
3460# Begin Source File
3461
3462SOURCE=.\src\map\amap\amapCore.c
3463# End Source File
3464# Begin Source File
3465
3466SOURCE=.\src\map\amap\amapGraph.c
3467# End Source File
3468# Begin Source File
3469
3470SOURCE=.\src\map\amap\amapInt.h
3471# End Source File
3472# Begin Source File
3473
3474SOURCE=.\src\map\amap\amapLib.c
3475# End Source File
3476# Begin Source File
3477
3478SOURCE=.\src\map\amap\amapLiberty.c
3479# End Source File
3480# Begin Source File
3481
3482SOURCE=.\src\map\amap\amapMan.c
3483# End Source File
3484# Begin Source File
3485
3486SOURCE=.\src\map\amap\amapMatch.c
3487# End Source File
3488# Begin Source File
3489
3490SOURCE=.\src\map\amap\amapMerge.c
3491# End Source File
3492# Begin Source File
3493
3494SOURCE=.\src\map\amap\amapOutput.c
3495# End Source File
3496# Begin Source File
3497
3498SOURCE=.\src\map\amap\amapParse.c
3499# End Source File
3500# Begin Source File
3501
3502SOURCE=.\src\map\amap\amapPerm.c
3503# End Source File
3504# Begin Source File
3505
3506SOURCE=.\src\map\amap\amapRead.c
3507# End Source File
3508# Begin Source File
3509
3510SOURCE=.\src\map\amap\amapRule.c
3511# End Source File
3512# Begin Source File
3513
3514SOURCE=.\src\map\amap\amapUniq.c
3515# End Source File
3516# End Group
3517# Begin Group "cov"
3518
3519# PROP Default_Filter ""
3520# Begin Source File
3521
3522SOURCE=.\src\map\cov\cov.h
3523# End Source File
3524# Begin Source File
3525
3526SOURCE=.\src\map\cov\covBuild.c
3527# End Source File
3528# Begin Source File
3529
3530SOURCE=.\src\map\cov\covCore.c
3531# End Source File
3532# Begin Source File
3533
3534SOURCE=.\src\map\cov\covInt.h
3535# End Source File
3536# Begin Source File
3537
3538SOURCE=.\src\map\cov\covMan.c
3539# End Source File
3540# Begin Source File
3541
3542SOURCE=.\src\map\cov\covMinEsop.c
3543# End Source File
3544# Begin Source File
3545
3546SOURCE=.\src\map\cov\covMinMan.c
3547# End Source File
3548# Begin Source File
3549
3550SOURCE=.\src\map\cov\covMinSop.c
3551# End Source File
3552# Begin Source File
3553
3554SOURCE=.\src\map\cov\covMinUtil.c
3555# End Source File
3556# End Group
3557# Begin Group "scl"
3558
3559# PROP Default_Filter ""
3560# Begin Source File
3561
3562SOURCE=.\src\map\scl\scl.c
3563# End Source File
3564# Begin Source File
3565
3566SOURCE=.\src\map\scl\scl.h
3567# End Source File
3568# Begin Source File
3569
3570SOURCE=.\src\map\scl\sclBuffer.c
3571# End Source File
3572# Begin Source File
3573
3574SOURCE=.\src\map\scl\sclBufSize.c
3575# End Source File
3576# Begin Source File
3577
3578SOURCE=.\src\map\scl\sclCon.h
3579# End Source File
3580# Begin Source File
3581
3582SOURCE=.\src\map\scl\sclDnsize.c
3583# End Source File
3584# Begin Source File
3585
3586SOURCE=.\src\map\scl\sclLib.h
3587# End Source File
3588# Begin Source File
3589
3590SOURCE=.\src\map\scl\sclLiberty.c
3591# End Source File
3592# Begin Source File
3593
3594SOURCE=.\src\map\scl\sclLibScl.c
3595# End Source File
3596# Begin Source File
3597
3598SOURCE=.\src\map\scl\sclLibUtil.c
3599# End Source File
3600# Begin Source File
3601
3602SOURCE=.\src\map\scl\sclLoad.c
3603# End Source File
3604# Begin Source File
3605
3606SOURCE=.\src\map\scl\sclSize.c
3607# End Source File
3608# Begin Source File
3609
3610SOURCE=.\src\map\scl\sclSize.h
3611# End Source File
3612# Begin Source File
3613
3614SOURCE=.\src\map\scl\sclTime.h
3615# End Source File
3616# Begin Source File
3617
3618SOURCE=.\src\map\scl\sclUpsize.c
3619# End Source File
3620# Begin Source File
3621
3622SOURCE=.\src\map\scl\sclUtil.c
3623# End Source File
3624# End Group
3625# Begin Group "mpm"
3626
3627# PROP Default_Filter ""
3628# Begin Source File
3629
3630SOURCE=.\src\map\mpm\mpm.c
3631# End Source File
3632# Begin Source File
3633
3634SOURCE=.\src\map\mpm\mpm.h
3635# End Source File
3636# Begin Source File
3637
3638SOURCE=.\src\map\mpm\mpmAbc.c
3639# End Source File
3640# Begin Source File
3641
3642SOURCE=.\src\map\mpm\mpmCore.c
3643# End Source File
3644# Begin Source File
3645
3646SOURCE=.\src\map\mpm\mpmDsd.c
3647# End Source File
3648# Begin Source File
3649
3650SOURCE=.\src\map\mpm\mpmGates.c
3651# End Source File
3652# Begin Source File
3653
3654SOURCE=.\src\map\mpm\mpmInt.h
3655# End Source File
3656# Begin Source File
3657
3658SOURCE=.\src\map\mpm\mpmLib.c
3659# End Source File
3660# Begin Source File
3661
3662SOURCE=.\src\map\mpm\mpmMan.c
3663# End Source File
3664# Begin Source File
3665
3666SOURCE=.\src\map\mpm\mpmMap.c
3667# End Source File
3668# Begin Source File
3669
3670SOURCE=.\src\map\mpm\mpmMig.c
3671# End Source File
3672# Begin Source File
3673
3674SOURCE=.\src\map\mpm\mpmMig.h
3675# End Source File
3676# Begin Source File
3677
3678SOURCE=.\src\map\mpm\mpmPre.c
3679# End Source File
3680# Begin Source File
3681
3682SOURCE=.\src\map\mpm\mpmTruth.c
3683# End Source File
3684# Begin Source File
3685
3686SOURCE=.\src\map\mpm\mpmUtil.c
3687# End Source File
3688# End Group
3689# End Group
3690# Begin Group "misc"
3691
3692# PROP Default_Filter ""
3693# Begin Group "extra"
3694
3695# PROP Default_Filter ""
3696# Begin Source File
3697
3698SOURCE=.\src\misc\extra\extra.h
3699# End Source File
3700# Begin Source File
3701
3702SOURCE=.\src\misc\extra\extraUtilBitMatrix.c
3703# End Source File
3704# Begin Source File
3705
3706SOURCE=.\src\misc\extra\extraUtilCanon.c
3707# End Source File
3708# Begin Source File
3709
3710SOURCE=.\src\misc\extra\extraUtilCfs.c
3711# End Source File
3712# Begin Source File
3713
3714SOURCE=.\src\misc\extra\extraUtilCube.c
3715# End Source File
3716# Begin Source File
3717
3718SOURCE=.\src\misc\extra\extraUtilDsd.c
3719# End Source File
3720# Begin Source File
3721
3722SOURCE=.\src\misc\extra\extraUtilEnum.c
3723# End Source File
3724# Begin Source File
3725
3726SOURCE=.\src\misc\extra\extraUtilFile.c
3727# End Source File
3728# Begin Source File
3729
3730SOURCE=.\src\misc\extra\extraUtilGen.c
3731# End Source File
3732# Begin Source File
3733
3734SOURCE=.\src\misc\extra\extraUtilMacc.c
3735# End Source File
3736# Begin Source File
3737
3738SOURCE=.\src\misc\extra\extraUtilMaj.c
3739# End Source File
3740# Begin Source File
3741
3742SOURCE=.\src\misc\extra\extraUtilMemory.c
3743# End Source File
3744# Begin Source File
3745
3746SOURCE=.\src\misc\extra\extraUtilMisc.c
3747# End Source File
3748# Begin Source File
3749
3750SOURCE=.\src\misc\extra\extraUtilMult.c
3751# End Source File
3752# Begin Source File
3753
3754SOURCE=.\src\misc\extra\extraUtilPath.c
3755# End Source File
3756# Begin Source File
3757
3758SOURCE=.\src\misc\extra\extraUtilPerm.c
3759# End Source File
3760# Begin Source File
3761
3762SOURCE=.\src\misc\extra\extraUtilPrime.c
3763# End Source File
3764# Begin Source File
3765
3766SOURCE=.\src\misc\extra\extraUtilProgress.c
3767# End Source File
3768# Begin Source File
3769
3770SOURCE=.\src\misc\extra\extraUtilReader.c
3771# End Source File
3772# Begin Source File
3773
3774SOURCE=.\src\misc\extra\extraUtilSupp.c
3775# End Source File
3776# Begin Source File
3777
3778SOURCE=.\src\misc\extra\extraUtilTruth.c
3779# End Source File
3780# Begin Source File
3781
3782SOURCE=.\src\misc\extra\extraUtilUtil.c
3783# End Source File
3784# End Group
3785# Begin Group "st"
3786
3787# PROP Default_Filter ""
3788# Begin Source File
3789
3790SOURCE=.\src\misc\st\st.c
3791# End Source File
3792# Begin Source File
3793
3794SOURCE=.\src\misc\st\st.h
3795# End Source File
3796# Begin Source File
3797
3798SOURCE=.\src\misc\st\stmm.c
3799# End Source File
3800# Begin Source File
3801
3802SOURCE=.\src\misc\st\stmm.h
3803# End Source File
3804# End Group
3805# Begin Group "mvc"
3806
3807# PROP Default_Filter ""
3808# Begin Source File
3809
3810SOURCE=.\src\misc\mvc\mvc.c
3811# End Source File
3812# Begin Source File
3813
3814SOURCE=.\src\misc\mvc\mvc.h
3815# End Source File
3816# Begin Source File
3817
3818SOURCE=.\src\misc\mvc\mvcApi.c
3819# End Source File
3820# Begin Source File
3821
3822SOURCE=.\src\misc\mvc\mvcCompare.c
3823# End Source File
3824# Begin Source File
3825
3826SOURCE=.\src\misc\mvc\mvcContain.c
3827# End Source File
3828# Begin Source File
3829
3830SOURCE=.\src\misc\mvc\mvcCover.c
3831# End Source File
3832# Begin Source File
3833
3834SOURCE=.\src\misc\mvc\mvcCube.c
3835# End Source File
3836# Begin Source File
3837
3838SOURCE=.\src\misc\mvc\mvcDivide.c
3839# End Source File
3840# Begin Source File
3841
3842SOURCE=.\src\misc\mvc\mvcDivisor.c
3843# End Source File
3844# Begin Source File
3845
3846SOURCE=.\src\misc\mvc\mvcList.c
3847# End Source File
3848# Begin Source File
3849
3850SOURCE=.\src\misc\mvc\mvcLits.c
3851# End Source File
3852# Begin Source File
3853
3854SOURCE=.\src\misc\mvc\mvcMan.c
3855# End Source File
3856# Begin Source File
3857
3858SOURCE=.\src\misc\mvc\mvcOpAlg.c
3859# End Source File
3860# Begin Source File
3861
3862SOURCE=.\src\misc\mvc\mvcOpBool.c
3863# End Source File
3864# Begin Source File
3865
3866SOURCE=.\src\misc\mvc\mvcPrint.c
3867# End Source File
3868# Begin Source File
3869
3870SOURCE=.\src\misc\mvc\mvcSort.c
3871# End Source File
3872# Begin Source File
3873
3874SOURCE=.\src\misc\mvc\mvcUtils.c
3875# End Source File
3876# End Group
3877# Begin Group "vec"
3878
3879# PROP Default_Filter ""
3880# Begin Source File
3881
3882SOURCE=.\src\misc\vec\vec.h
3883# End Source File
3884# Begin Source File
3885
3886SOURCE=.\src\misc\vec\vecAtt.h
3887# End Source File
3888# Begin Source File
3889
3890SOURCE=.\src\misc\vec\vecBit.h
3891# End Source File
3892# Begin Source File
3893
3894SOURCE=.\src\misc\vec\vecFlt.h
3895# End Source File
3896# Begin Source File
3897
3898SOURCE=.\src\misc\vec\vecHash.h
3899# End Source File
3900# Begin Source File
3901
3902SOURCE=.\src\misc\vec\vecHsh.h
3903# End Source File
3904# Begin Source File
3905
3906SOURCE=.\src\misc\vec\vecInt.h
3907# End Source File
3908# Begin Source File
3909
3910SOURCE=.\src\misc\vec\vecMem.h
3911# End Source File
3912# Begin Source File
3913
3914SOURCE=.\src\misc\vec\vecPtr.h
3915# End Source File
3916# Begin Source File
3917
3918SOURCE=.\src\misc\vec\vecQue.h
3919# End Source File
3920# Begin Source File
3921
3922SOURCE=.\src\misc\vec\vecSet.h
3923# End Source File
3924# Begin Source File
3925
3926SOURCE=.\src\misc\vec\vecStr.h
3927# End Source File
3928# Begin Source File
3929
3930SOURCE=.\src\misc\vec\vecVec.h
3931# End Source File
3932# Begin Source File
3933
3934SOURCE=.\src\misc\vec\vecWec.h
3935# End Source File
3936# Begin Source File
3937
3938SOURCE=.\src\misc\vec\vecWrd.h
3939# End Source File
3940# End Group
3941# Begin Group "util"
3942
3943# PROP Default_Filter ""
3944# Begin Source File
3945
3946SOURCE=.\src\misc\util\abc_global.h
3947# End Source File
3948# Begin Source File
3949
3950SOURCE=.\src\misc\util\util_hack.h
3951# End Source File
3952# Begin Source File
3953
3954SOURCE=.\src\misc\util\utilBridge.c
3955# End Source File
3956# Begin Source File
3957
3958SOURCE=.\src\misc\util\utilCex.c
3959# End Source File
3960# Begin Source File
3961
3962SOURCE=.\src\misc\util\utilCex.h
3963# End Source File
3964# Begin Source File
3965
3966SOURCE=.\src\misc\util\utilColor.c
3967# End Source File
3968# Begin Source File
3969
3970SOURCE=.\src\misc\util\utilDouble.h
3971# End Source File
3972# Begin Source File
3973
3974SOURCE=.\src\misc\util\utilFile.c
3975# End Source File
3976# Begin Source File
3977
3978SOURCE=.\src\misc\util\utilFloat.h
3979# End Source File
3980# Begin Source File
3981
3982SOURCE=.\src\misc\util\utilIsop.c
3983# End Source File
3984# Begin Source File
3985
3986SOURCE=.\src\misc\util\utilMem.c
3987# End Source File
3988# Begin Source File
3989
3990SOURCE=.\src\misc\util\utilMem.h
3991# End Source File
3992# Begin Source File
3993
3994SOURCE=.\src\misc\util\utilNam.c
3995# End Source File
3996# Begin Source File
3997
3998SOURCE=.\src\misc\util\utilNam.h
3999# End Source File
4000# Begin Source File
4001
4002SOURCE=.\src\misc\util\utilSignal.c
4003# End Source File
4004# Begin Source File
4005
4006SOURCE=.\src\misc\util\utilSignal.h
4007# End Source File
4008# Begin Source File
4009
4010SOURCE=.\src\misc\util\utilSort.c
4011# End Source File
4012# Begin Source File
4013
4014SOURCE=.\src\misc\util\utilTruth.h
4015# End Source File
4016# End Group
4017# Begin Group "nm"
4018
4019# PROP Default_Filter ""
4020# Begin Source File
4021
4022SOURCE=.\src\misc\nm\nm.h
4023# End Source File
4024# Begin Source File
4025
4026SOURCE=.\src\misc\nm\nmApi.c
4027# End Source File
4028# Begin Source File
4029
4030SOURCE=.\src\misc\nm\nmInt.h
4031# End Source File
4032# Begin Source File
4033
4034SOURCE=.\src\misc\nm\nmTable.c
4035# End Source File
4036# End Group
4037# Begin Group "hash"
4038
4039# PROP Default_Filter ""
4040# Begin Source File
4041
4042SOURCE=.\src\misc\hash\hash.h
4043# End Source File
4044# Begin Source File
4045
4046SOURCE=.\src\misc\hash\hashFlt.h
4047# End Source File
4048# Begin Source File
4049
4050SOURCE=.\src\misc\hash\hashInt.h
4051# End Source File
4052# Begin Source File
4053
4054SOURCE=.\src\misc\hash\hashPtr.h
4055# End Source File
4056# End Group
4057# Begin Group "bzlib"
4058
4059# PROP Default_Filter ""
4060# Begin Source File
4061
4062SOURCE=.\src\misc\bzlib\blocksort.c
4063# End Source File
4064# Begin Source File
4065
4066SOURCE=.\src\misc\bzlib\bzlib.c
4067# End Source File
4068# Begin Source File
4069
4070SOURCE=.\src\misc\bzlib\bzlib.h
4071# End Source File
4072# Begin Source File
4073
4074SOURCE=.\src\misc\bzlib\bzlib_private.h
4075# End Source File
4076# Begin Source File
4077
4078SOURCE=.\src\misc\bzlib\compress.c
4079# End Source File
4080# Begin Source File
4081
4082SOURCE=.\src\misc\bzlib\crctable.c
4083# End Source File
4084# Begin Source File
4085
4086SOURCE=.\src\misc\bzlib\decompress.c
4087# End Source File
4088# Begin Source File
4089
4090SOURCE=.\src\misc\bzlib\huffman.c
4091# End Source File
4092# Begin Source File
4093
4094SOURCE=.\src\misc\bzlib\randtable.c
4095# End Source File
4096# End Group
4097# Begin Group "zlib"
4098
4099# PROP Default_Filter ""
4100# Begin Source File
4101
4102SOURCE=.\src\misc\zlib\adler32.c
4103# End Source File
4104# Begin Source File
4105
4106SOURCE=.\src\misc\zlib\compress_.c
4107# End Source File
4108# Begin Source File
4109
4110SOURCE=.\src\misc\zlib\crc32.c
4111# End Source File
4112# Begin Source File
4113
4114SOURCE=.\src\misc\zlib\crc32.h
4115# End Source File
4116# Begin Source File
4117
4118SOURCE=.\src\misc\zlib\deflate.c
4119# End Source File
4120# Begin Source File
4121
4122SOURCE=.\src\misc\zlib\deflate.h
4123# End Source File
4124# Begin Source File
4125
4126SOURCE=.\src\misc\zlib\gzclose.c
4127# End Source File
4128# Begin Source File
4129
4130SOURCE=.\src\misc\zlib\gzguts.h
4131# End Source File
4132# Begin Source File
4133
4134SOURCE=.\src\misc\zlib\gzlib.c
4135# End Source File
4136# Begin Source File
4137
4138SOURCE=.\src\misc\zlib\gzread.c
4139# End Source File
4140# Begin Source File
4141
4142SOURCE=.\src\misc\zlib\gzwrite.c
4143# End Source File
4144# Begin Source File
4145
4146SOURCE=.\src\misc\zlib\infback.c
4147# End Source File
4148# Begin Source File
4149
4150SOURCE=.\src\misc\zlib\inffast.c
4151# End Source File
4152# Begin Source File
4153
4154SOURCE=.\src\misc\zlib\inffast.h
4155# End Source File
4156# Begin Source File
4157
4158SOURCE=.\src\misc\zlib\inffixed.h
4159# End Source File
4160# Begin Source File
4161
4162SOURCE=.\src\misc\zlib\inflate.c
4163# End Source File
4164# Begin Source File
4165
4166SOURCE=.\src\misc\zlib\inflate.h
4167# End Source File
4168# Begin Source File
4169
4170SOURCE=.\src\misc\zlib\inftrees.c
4171# End Source File
4172# Begin Source File
4173
4174SOURCE=.\src\misc\zlib\inftrees.h
4175# End Source File
4176# Begin Source File
4177
4178SOURCE=.\src\misc\zlib\trees.c
4179# End Source File
4180# Begin Source File
4181
4182SOURCE=.\src\misc\zlib\trees.h
4183# End Source File
4184# Begin Source File
4185
4186SOURCE=.\src\misc\zlib\uncompr.c
4187# End Source File
4188# Begin Source File
4189
4190SOURCE=.\src\misc\zlib\zconf.h
4191# End Source File
4192# Begin Source File
4193
4194SOURCE=.\src\misc\zlib\zlib.h
4195# End Source File
4196# Begin Source File
4197
4198SOURCE=.\src\misc\zlib\zutil.c
4199# End Source File
4200# Begin Source File
4201
4202SOURCE=.\src\misc\zlib\zutil.h
4203# End Source File
4204# End Group
4205# Begin Group "bar"
4206
4207# PROP Default_Filter ""
4208# Begin Source File
4209
4210SOURCE=.\src\misc\bar\bar.c
4211# End Source File
4212# Begin Source File
4213
4214SOURCE=.\src\misc\bar\bar.h
4215# End Source File
4216# End Group
4217# Begin Group "bbl"
4218
4219# PROP Default_Filter ""
4220# Begin Source File
4221
4222SOURCE=.\src\misc\bbl\bblif.c
4223# End Source File
4224# Begin Source File
4225
4226SOURCE=.\src\misc\bbl\bblif.h
4227# End Source File
4228# End Group
4229# Begin Group "mem"
4230
4231# PROP Default_Filter ""
4232# Begin Source File
4233
4234SOURCE=.\src\misc\mem\mem.c
4235# End Source File
4236# Begin Source File
4237
4238SOURCE=.\src\misc\mem\mem.h
4239# End Source File
4240# Begin Source File
4241
4242SOURCE=.\src\misc\mem\mem2.h
4243# End Source File
4244# End Group
4245# Begin Group "tim"
4246
4247# PROP Default_Filter ""
4248# Begin Source File
4249
4250SOURCE=.\src\misc\tim\tim.c
4251# End Source File
4252# Begin Source File
4253
4254SOURCE=.\src\misc\tim\tim.h
4255# End Source File
4256# Begin Source File
4257
4258SOURCE=.\src\misc\tim\timBox.c
4259# End Source File
4260# Begin Source File
4261
4262SOURCE=.\src\misc\tim\timDump.c
4263# End Source File
4264# Begin Source File
4265
4266SOURCE=.\src\misc\tim\timInt.h
4267# End Source File
4268# Begin Source File
4269
4270SOURCE=.\src\misc\tim\timMan.c
4271# End Source File
4272# Begin Source File
4273
4274SOURCE=.\src\misc\tim\timTime.c
4275# End Source File
4276# Begin Source File
4277
4278SOURCE=.\src\misc\tim\timTrav.c
4279# End Source File
4280# End Group
4281# Begin Group "parse"
4282
4283# PROP Default_Filter ""
4284# Begin Source File
4285
4286SOURCE=.\src\misc\parse\parseEqn.c
4287# End Source File
4288# Begin Source File
4289
4290SOURCE=.\src\misc\parse\parseInt.h
4291# End Source File
4292# Begin Source File
4293
4294SOURCE=.\src\misc\parse\parseStack.c
4295# End Source File
4296# End Group
4297# End Group
4298# Begin Group "ai"
4299
4300# PROP Default_Filter ""
4301# Begin Group "hop"
4302
4303# PROP Default_Filter ""
4304# Begin Source File
4305
4306SOURCE=.\src\aig\hop\hop.h
4307# End Source File
4308# Begin Source File
4309
4310SOURCE=.\src\aig\hop\hopBalance.c
4311# End Source File
4312# Begin Source File
4313
4314SOURCE=.\src\aig\hop\hopCheck.c
4315# End Source File
4316# Begin Source File
4317
4318SOURCE=.\src\aig\hop\hopDfs.c
4319# End Source File
4320# Begin Source File
4321
4322SOURCE=.\src\aig\hop\hopMan.c
4323# End Source File
4324# Begin Source File
4325
4326SOURCE=.\src\aig\hop\hopMem.c
4327# End Source File
4328# Begin Source File
4329
4330SOURCE=.\src\aig\hop\hopObj.c
4331# End Source File
4332# Begin Source File
4333
4334SOURCE=.\src\aig\hop\hopOper.c
4335# End Source File
4336# Begin Source File
4337
4338SOURCE=.\src\aig\hop\hopTable.c
4339# End Source File
4340# Begin Source File
4341
4342SOURCE=.\src\aig\hop\hopTruth.c
4343# End Source File
4344# Begin Source File
4345
4346SOURCE=.\src\aig\hop\hopUtil.c
4347# End Source File
4348# End Group
4349# Begin Group "ivy"
4350
4351# PROP Default_Filter ""
4352# Begin Source File
4353
4354SOURCE=.\src\aig\ivy\ivy.h
4355# End Source File
4356# Begin Source File
4357
4358SOURCE=.\src\aig\ivy\ivyBalance.c
4359# End Source File
4360# Begin Source File
4361
4362SOURCE=.\src\aig\ivy\ivyCanon.c
4363# End Source File
4364# Begin Source File
4365
4366SOURCE=.\src\aig\ivy\ivyCheck.c
4367# End Source File
4368# Begin Source File
4369
4370SOURCE=.\src\aig\ivy\ivyCut.c
4371# End Source File
4372# Begin Source File
4373
4374SOURCE=.\src\aig\ivy\ivyCutTrav.c
4375# End Source File
4376# Begin Source File
4377
4378SOURCE=.\src\aig\ivy\ivyDfs.c
4379# End Source File
4380# Begin Source File
4381
4382SOURCE=.\src\aig\ivy\ivyDsd.c
4383# End Source File
4384# Begin Source File
4385
4386SOURCE=.\src\aig\ivy\ivyFanout.c
4387# End Source File
4388# Begin Source File
4389
4390SOURCE=.\src\aig\ivy\ivyFastMap.c
4391# End Source File
4392# Begin Source File
4393
4394SOURCE=.\src\aig\ivy\ivyFraig.c
4395# End Source File
4396# Begin Source File
4397
4398SOURCE=.\src\aig\ivy\ivyHaig.c
4399# End Source File
4400# Begin Source File
4401
4402SOURCE=.\src\aig\ivy\ivyMan.c
4403# End Source File
4404# Begin Source File
4405
4406SOURCE=.\src\aig\ivy\ivyMem.c
4407# End Source File
4408# Begin Source File
4409
4410SOURCE=.\src\aig\ivy\ivyMulti.c
4411# End Source File
4412# Begin Source File
4413
4414SOURCE=.\src\aig\ivy\ivyObj.c
4415# End Source File
4416# Begin Source File
4417
4418SOURCE=.\src\aig\ivy\ivyOper.c
4419# End Source File
4420# Begin Source File
4421
4422SOURCE=.\src\aig\ivy\ivyResyn.c
4423# End Source File
4424# Begin Source File
4425
4426SOURCE=.\src\aig\ivy\ivyRwr.c
4427# End Source File
4428# Begin Source File
4429
4430SOURCE=.\src\aig\ivy\ivySeq.c
4431# End Source File
4432# Begin Source File
4433
4434SOURCE=.\src\aig\ivy\ivyShow.c
4435# End Source File
4436# Begin Source File
4437
4438SOURCE=.\src\aig\ivy\ivyTable.c
4439# End Source File
4440# Begin Source File
4441
4442SOURCE=.\src\aig\ivy\ivyUtil.c
4443# End Source File
4444# End Group
4445# Begin Group "ioa"
4446
4447# PROP Default_Filter ""
4448# Begin Source File
4449
4450SOURCE=.\src\aig\ioa\ioa.h
4451# End Source File
4452# Begin Source File
4453
4454SOURCE=.\src\aig\ioa\ioaReadAig.c
4455# End Source File
4456# Begin Source File
4457
4458SOURCE=.\src\aig\ioa\ioaUtil.c
4459# End Source File
4460# Begin Source File
4461
4462SOURCE=.\src\aig\ioa\ioaWriteAig.c
4463# End Source File
4464# End Group
4465# Begin Group "aig"
4466
4467# PROP Default_Filter ""
4468# Begin Source File
4469
4470SOURCE=.\src\aig\aig\aig.h
4471# End Source File
4472# Begin Source File
4473
4474SOURCE=.\src\aig\aig\aigCanon.c
4475# End Source File
4476# Begin Source File
4477
4478SOURCE=.\src\aig\aig\aigCheck.c
4479# End Source File
4480# Begin Source File
4481
4482SOURCE=.\src\aig\aig\aigCuts.c
4483# End Source File
4484# Begin Source File
4485
4486SOURCE=.\src\aig\aig\aigDfs.c
4487# End Source File
4488# Begin Source File
4489
4490SOURCE=.\src\aig\aig\aigDoms.c
4491# End Source File
4492# Begin Source File
4493
4494SOURCE=.\src\aig\aig\aigDup.c
4495# End Source File
4496# Begin Source File
4497
4498SOURCE=.\src\aig\aig\aigFact.c
4499# End Source File
4500# Begin Source File
4501
4502SOURCE=.\src\aig\aig\aigFanout.c
4503# End Source File
4504# Begin Source File
4505
4506SOURCE=.\src\aig\aig\aigFrames.c
4507# End Source File
4508# Begin Source File
4509
4510SOURCE=.\src\aig\aig\aigInter.c
4511# End Source File
4512# Begin Source File
4513
4514SOURCE=.\src\aig\aig\aigJust.c
4515# End Source File
4516# Begin Source File
4517
4518SOURCE=.\src\aig\aig\aigMan.c
4519# End Source File
4520# Begin Source File
4521
4522SOURCE=.\src\aig\aig\aigMem.c
4523# End Source File
4524# Begin Source File
4525
4526SOURCE=.\src\aig\aig\aigMffc.c
4527# End Source File
4528# Begin Source File
4529
4530SOURCE=.\src\aig\aig\aigObj.c
4531# End Source File
4532# Begin Source File
4533
4534SOURCE=.\src\aig\aig\aigOper.c
4535# End Source File
4536# Begin Source File
4537
4538SOURCE=.\src\aig\aig\aigOrder.c
4539# End Source File
4540# Begin Source File
4541
4542SOURCE=.\src\aig\aig\aigPack.c
4543# End Source File
4544# Begin Source File
4545
4546SOURCE=.\src\aig\aig\aigPart.c
4547# End Source File
4548# Begin Source File
4549
4550SOURCE=.\src\aig\aig\aigPartReg.c
4551# End Source File
4552# Begin Source File
4553
4554SOURCE=.\src\aig\aig\aigPartSat.c
4555# End Source File
4556# Begin Source File
4557
4558SOURCE=.\src\aig\aig\aigRepr.c
4559# End Source File
4560# Begin Source File
4561
4562SOURCE=.\src\aig\aig\aigRet.c
4563# End Source File
4564# Begin Source File
4565
4566SOURCE=.\src\aig\aig\aigRetF.c
4567# End Source File
4568# Begin Source File
4569
4570SOURCE=.\src\aig\aig\aigScl.c
4571# End Source File
4572# Begin Source File
4573
4574SOURCE=.\src\aig\aig\aigShow.c
4575# End Source File
4576# Begin Source File
4577
4578SOURCE=.\src\aig\aig\aigSplit.c
4579# End Source File
4580# Begin Source File
4581
4582SOURCE=.\src\aig\aig\aigTable.c
4583# End Source File
4584# Begin Source File
4585
4586SOURCE=.\src\aig\aig\aigTiming.c
4587# End Source File
4588# Begin Source File
4589
4590SOURCE=.\src\aig\aig\aigTruth.c
4591# End Source File
4592# Begin Source File
4593
4594SOURCE=.\src\aig\aig\aigTsim.c
4595# End Source File
4596# Begin Source File
4597
4598SOURCE=.\src\aig\aig\aigUtil.c
4599# End Source File
4600# Begin Source File
4601
4602SOURCE=.\src\aig\aig\aigWin.c
4603# End Source File
4604# End Group
4605# Begin Group "saig"
4606
4607# PROP Default_Filter ""
4608# Begin Source File
4609
4610SOURCE=.\src\aig\saig\saig.h
4611# End Source File
4612# Begin Source File
4613
4614SOURCE=.\src\aig\saig\saigCone.c
4615# End Source File
4616# Begin Source File
4617
4618SOURCE=.\src\aig\saig\saigConstr.c
4619# End Source File
4620# Begin Source File
4621
4622SOURCE=.\src\aig\saig\saigConstr2.c
4623# End Source File
4624# Begin Source File
4625
4626SOURCE=.\src\aig\saig\saigDual.c
4627# End Source File
4628# Begin Source File
4629
4630SOURCE=.\src\aig\saig\saigDup.c
4631# End Source File
4632# Begin Source File
4633
4634SOURCE=.\src\aig\saig\saigInd.c
4635# End Source File
4636# Begin Source File
4637
4638SOURCE=.\src\aig\saig\saigIoa.c
4639# End Source File
4640# Begin Source File
4641
4642SOURCE=.\src\aig\saig\saigIso.c
4643# End Source File
4644# Begin Source File
4645
4646SOURCE=.\src\aig\saig\saigIsoFast.c
4647# End Source File
4648# Begin Source File
4649
4650SOURCE=.\src\aig\saig\saigIsoSlow.c
4651# End Source File
4652# Begin Source File
4653
4654SOURCE=.\src\aig\saig\saigMiter.c
4655# End Source File
4656# Begin Source File
4657
4658SOURCE=.\src\aig\saig\saigOutDec.c
4659# End Source File
4660# Begin Source File
4661
4662SOURCE=.\src\aig\saig\saigPhase.c
4663# End Source File
4664# Begin Source File
4665
4666SOURCE=.\src\aig\saig\saigRetFwd.c
4667# End Source File
4668# Begin Source File
4669
4670SOURCE=.\src\aig\saig\saigRetMin.c
4671# End Source File
4672# Begin Source File
4673
4674SOURCE=.\src\aig\saig\saigRetStep.c
4675# End Source File
4676# Begin Source File
4677
4678SOURCE=.\src\aig\saig\saigScl.c
4679# End Source File
4680# Begin Source File
4681
4682SOURCE=.\src\aig\saig\saigSimFast.c
4683# End Source File
4684# Begin Source File
4685
4686SOURCE=.\src\aig\saig\saigSimMv.c
4687# End Source File
4688# Begin Source File
4689
4690SOURCE=.\src\aig\saig\saigSimSeq.c
4691# End Source File
4692# Begin Source File
4693
4694SOURCE=.\src\aig\saig\saigStrSim.c
4695# End Source File
4696# Begin Source File
4697
4698SOURCE=.\src\aig\saig\saigSwitch.c
4699# End Source File
4700# Begin Source File
4701
4702SOURCE=.\src\aig\saig\saigSynch.c
4703# End Source File
4704# Begin Source File
4705
4706SOURCE=.\src\aig\saig\saigTempor.c
4707# End Source File
4708# Begin Source File
4709
4710SOURCE=.\src\aig\saig\saigTrans.c
4711# End Source File
4712# Begin Source File
4713
4714SOURCE=.\src\aig\saig\saigWnd.c
4715# End Source File
4716# End Group
4717# Begin Group "gia"
4718
4719# PROP Default_Filter ""
4720# Begin Source File
4721
4722SOURCE=.\src\aig\gia\gia.c
4723# End Source File
4724# Begin Source File
4725
4726SOURCE=.\src\aig\gia\gia.h
4727# End Source File
4728# Begin Source File
4729
4730SOURCE=.\src\aig\gia\giaAig.c
4731# End Source File
4732# Begin Source File
4733
4734SOURCE=.\src\aig\gia\giaAig.h
4735# End Source File
4736# Begin Source File
4737
4738SOURCE=.\src\aig\gia\giaAiger.c
4739# End Source File
4740# Begin Source File
4741
4742SOURCE=.\src\aig\gia\giaAigerExt.c
4743# End Source File
4744# Begin Source File
4745
4746SOURCE=.\src\aig\gia\giaBalAig.c
4747# End Source File
4748# Begin Source File
4749
4750SOURCE=.\src\aig\gia\giaBalLut.c
4751# End Source File
4752# Begin Source File
4753
4754SOURCE=.\src\aig\gia\giaBalMap.c
4755# End Source File
4756# Begin Source File
4757
4758SOURCE=.\src\aig\gia\giaBidec.c
4759# End Source File
4760# Begin Source File
4761
4762SOURCE=.\src\aig\gia\giaCCof.c
4763# End Source File
4764# Begin Source File
4765
4766SOURCE=.\src\aig\gia\giaCex.c
4767# End Source File
4768# Begin Source File
4769
4770SOURCE=.\src\aig\gia\giaClp.c
4771# End Source File
4772# Begin Source File
4773
4774SOURCE=.\src\aig\gia\giaCof.c
4775# End Source File
4776# Begin Source File
4777
4778SOURCE=.\src\aig\gia\giaCone.c
4779# End Source File
4780# Begin Source File
4781
4782SOURCE=.\src\aig\gia\giaCSat.c
4783# End Source File
4784# Begin Source File
4785
4786SOURCE=.\src\aig\gia\giaCSat2.c
4787# End Source File
4788# Begin Source File
4789
4790SOURCE=.\src\aig\gia\giaCSatOld.c
4791# End Source File
4792# Begin Source File
4793
4794SOURCE=.\src\aig\gia\giaCTas.c
4795# End Source File
4796# Begin Source File
4797
4798SOURCE=.\src\aig\gia\giaCut.c
4799# End Source File
4800# Begin Source File
4801
4802SOURCE=.\src\aig\gia\giaDeep.c
4803# End Source File
4804# Begin Source File
4805
4806SOURCE=.\src\aig\gia\giaDfs.c
4807# End Source File
4808# Begin Source File
4809
4810SOURCE=.\src\aig\gia\giaDup.c
4811# End Source File
4812# Begin Source File
4813
4814SOURCE=.\src\aig\gia\giaEdge.c
4815# End Source File
4816# Begin Source File
4817
4818SOURCE=.\src\aig\gia\giaEmbed.c
4819# End Source File
4820# Begin Source File
4821
4822SOURCE=.\src\aig\gia\giaEnable.c
4823# End Source File
4824# Begin Source File
4825
4826SOURCE=.\src\aig\gia\giaEquiv.c
4827# End Source File
4828# Begin Source File
4829
4830SOURCE=.\src\aig\gia\giaEra.c
4831# End Source File
4832# Begin Source File
4833
4834SOURCE=.\src\aig\gia\giaEra2.c
4835# End Source File
4836# Begin Source File
4837
4838SOURCE=.\src\aig\gia\giaEsop.c
4839# End Source File
4840# Begin Source File
4841
4842SOURCE=.\src\aig\gia\giaExist.c
4843# End Source File
4844# Begin Source File
4845
4846SOURCE=.\src\aig\gia\giaFalse.c
4847# End Source File
4848# Begin Source File
4849
4850SOURCE=.\src\aig\gia\giaFanout.c
4851# End Source File
4852# Begin Source File
4853
4854SOURCE=.\src\aig\gia\giaForce.c
4855# End Source File
4856# Begin Source File
4857
4858SOURCE=.\src\aig\gia\giaFrames.c
4859# End Source File
4860# Begin Source File
4861
4862SOURCE=.\src\aig\gia\giaFront.c
4863# End Source File
4864# Begin Source File
4865
4866SOURCE=.\src\aig\gia\giaFx.c
4867# End Source File
4868# Begin Source File
4869
4870SOURCE=.\src\aig\gia\giaGen.c
4871# End Source File
4872# Begin Source File
4873
4874SOURCE=.\src\aig\gia\giaGig.c
4875# End Source File
4876# Begin Source File
4877
4878SOURCE=.\src\aig\gia\giaGlitch.c
4879# End Source File
4880# Begin Source File
4881
4882SOURCE=.\src\aig\gia\giaHash.c
4883# End Source File
4884# Begin Source File
4885
4886SOURCE=.\src\aig\gia\giaIf.c
4887# End Source File
4888# Begin Source File
4889
4890SOURCE=.\src\aig\gia\giaIff.c
4891# End Source File
4892# Begin Source File
4893
4894SOURCE=.\src\aig\gia\giaIiff.c
4895# End Source File
4896# Begin Source File
4897
4898SOURCE=.\src\aig\gia\giaIiff.h
4899# End Source File
4900# Begin Source File
4901
4902SOURCE=.\src\aig\gia\giaIso.c
4903# End Source File
4904# Begin Source File
4905
4906SOURCE=.\src\aig\gia\giaIso2.c
4907# End Source File
4908# Begin Source File
4909
4910SOURCE=.\src\aig\gia\giaIso3.c
4911# End Source File
4912# Begin Source File
4913
4914SOURCE=.\src\aig\gia\giaJf.c
4915# End Source File
4916# Begin Source File
4917
4918SOURCE=.\src\aig\gia\giaKf.c
4919# End Source File
4920# Begin Source File
4921
4922SOURCE=.\src\aig\gia\giaLf.c
4923# End Source File
4924# Begin Source File
4925
4926SOURCE=.\src\aig\gia\giaMan.c
4927# End Source File
4928# Begin Source File
4929
4930SOURCE=.\src\aig\gia\giaMem.c
4931# End Source File
4932# Begin Source File
4933
4934SOURCE=.\src\aig\gia\giaMf.c
4935# End Source File
4936# Begin Source File
4937
4938SOURCE=.\src\aig\gia\giaMfs.c
4939# End Source File
4940# Begin Source File
4941
4942SOURCE=.\src\aig\gia\giaMini.c
4943# End Source File
4944# Begin Source File
4945
4946SOURCE=.\src\aig\gia\giaMuxes.c
4947# End Source File
4948# Begin Source File
4949
4950SOURCE=.\src\aig\gia\giaNf.c
4951# End Source File
4952# Begin Source File
4953
4954SOURCE=.\src\aig\gia\giaOf.c
4955# End Source File
4956# Begin Source File
4957
4958SOURCE=.\src\aig\gia\giaPack.c
4959# End Source File
4960# Begin Source File
4961
4962SOURCE=.\src\aig\gia\giaPat.c
4963# End Source File
4964# Begin Source File
4965
4966SOURCE=.\src\aig\gia\giaPf.c
4967# End Source File
4968# Begin Source File
4969
4970SOURCE=.\src\aig\gia\giaQbf.c
4971# End Source File
4972# Begin Source File
4973
4974SOURCE=.\src\aig\gia\giaResub.c
4975# End Source File
4976# Begin Source File
4977
4978SOURCE=.\src\aig\gia\giaRetime.c
4979# End Source File
4980# Begin Source File
4981
4982SOURCE=.\src\aig\gia\giaRex.c
4983# End Source File
4984# Begin Source File
4985
4986SOURCE=.\src\aig\gia\giaSat3.c
4987# End Source File
4988# Begin Source File
4989
4990SOURCE=.\src\aig\gia\giaSatEdge.c
4991# End Source File
4992# Begin Source File
4993
4994SOURCE=.\src\aig\gia\giaSatLE.c
4995# End Source File
4996# Begin Source File
4997
4998SOURCE=.\src\aig\gia\giaSatLut.c
4999# End Source File
5000# Begin Source File
5001
5002SOURCE=.\src\aig\gia\giaSatMap.c
5003# End Source File
5004# Begin Source File
5005
5006SOURCE=.\src\aig\gia\giaSatoko.c
5007# End Source File
5008# Begin Source File
5009
5010SOURCE=.\src\aig\gia\giaScl.c
5011# End Source File
5012# Begin Source File
5013
5014SOURCE=.\src\aig\gia\giaScript.c
5015# End Source File
5016# Begin Source File
5017
5018SOURCE=.\src\aig\gia\giaShow.c
5019# End Source File
5020# Begin Source File
5021
5022SOURCE=.\src\aig\gia\giaShrink.c
5023# End Source File
5024# Begin Source File
5025
5026SOURCE=.\src\aig\gia\giaShrink6.c
5027# End Source File
5028# Begin Source File
5029
5030SOURCE=.\src\aig\gia\giaShrink7.c
5031# End Source File
5032# Begin Source File
5033
5034SOURCE=.\src\aig\gia\giaSim.c
5035# End Source File
5036# Begin Source File
5037
5038SOURCE=.\src\aig\gia\giaSim2.c
5039# End Source File
5040# Begin Source File
5041
5042SOURCE=.\src\aig\gia\giaSim4.c
5043# End Source File
5044# Begin Source File
5045
5046SOURCE=.\src\aig\gia\giaSim5.c
5047# End Source File
5048# Begin Source File
5049
5050SOURCE=.\src\aig\gia\giaSimBase.c
5051# End Source File
5052# Begin Source File
5053
5054SOURCE=.\src\aig\gia\giaSort.c
5055# End Source File
5056# Begin Source File
5057
5058SOURCE=.\src\aig\gia\giaSpeedup.c
5059# End Source File
5060# Begin Source File
5061
5062SOURCE=.\src\aig\gia\giaSplit.c
5063# End Source File
5064# Begin Source File
5065
5066SOURCE=.\src\aig\gia\giaStg.c
5067# End Source File
5068# Begin Source File
5069
5070SOURCE=.\src\aig\gia\giaStr.c
5071# End Source File
5072# Begin Source File
5073
5074SOURCE=.\src\aig\gia\giaSupMin.c
5075# End Source File
5076# Begin Source File
5077
5078SOURCE=.\src\aig\gia\giaSupp.c
5079# End Source File
5080# Begin Source File
5081
5082SOURCE=.\src\aig\gia\giaSweep.c
5083# End Source File
5084# Begin Source File
5085
5086SOURCE=.\src\aig\gia\giaSweeper.c
5087# End Source File
5088# Begin Source File
5089
5090SOURCE=.\src\aig\gia\giaSwitch.c
5091# End Source File
5092# Begin Source File
5093
5094SOURCE=.\src\aig\gia\giaTim.c
5095# End Source File
5096# Begin Source File
5097
5098SOURCE=.\src\aig\gia\giaTis.c
5099# End Source File
5100# Begin Source File
5101
5102SOURCE=.\src\aig\gia\giaTruth.c
5103# End Source File
5104# Begin Source File
5105
5106SOURCE=.\src\aig\gia\giaTsim.c
5107# End Source File
5108# Begin Source File
5109
5110SOURCE=.\src\aig\gia\giaUnate.c
5111# End Source File
5112# Begin Source File
5113
5114SOURCE=.\src\aig\gia\giaUtil.c
5115# End Source File
5116# End Group
5117# Begin Group "miniaig"
5118
5119# PROP Default_Filter ""
5120# Begin Source File
5121
5122SOURCE=.\src\aig\miniaig\abcOper.h
5123# End Source File
5124# Begin Source File
5125
5126SOURCE=.\src\aig\miniaig\miniaig.h
5127# End Source File
5128# Begin Source File
5129
5130SOURCE=.\src\aig\miniaig\minilut.h
5131# End Source File
5132# Begin Source File
5133
5134SOURCE=.\src\aig\miniaig\ndr.h
5135# End Source File
5136# End Group
5137# Begin Group "uap"
5138
5139# PROP Default_Filter ""
5140# Begin Source File
5141
5142SOURCE=.\src\aig\uap\uap.h
5143# End Source File
5144# End Group
5145# End Group
5146# Begin Group "bool"
5147
5148# PROP Default_Filter ""
5149# Begin Group "bdc"
5150
5151# PROP Default_Filter ""
5152# Begin Source File
5153
5154SOURCE=.\src\bool\bdc\bdc.h
5155# End Source File
5156# Begin Source File
5157
5158SOURCE=.\src\bool\bdc\bdcCore.c
5159# End Source File
5160# Begin Source File
5161
5162SOURCE=.\src\bool\bdc\bdcDec.c
5163# End Source File
5164# Begin Source File
5165
5166SOURCE=.\src\bool\bdc\bdcInt.h
5167# End Source File
5168# Begin Source File
5169
5170SOURCE=.\src\bool\bdc\bdcSpfd.c
5171# End Source File
5172# Begin Source File
5173
5174SOURCE=.\src\bool\bdc\bdcTable.c
5175# End Source File
5176# End Group
5177# Begin Group "dec"
5178
5179# PROP Default_Filter ""
5180# Begin Source File
5181
5182SOURCE=.\src\bool\dec\dec.h
5183# End Source File
5184# Begin Source File
5185
5186SOURCE=.\src\bool\dec\decAbc.c
5187# End Source File
5188# Begin Source File
5189
5190SOURCE=.\src\bool\dec\decFactor.c
5191# End Source File
5192# Begin Source File
5193
5194SOURCE=.\src\bool\dec\decMan.c
5195# End Source File
5196# Begin Source File
5197
5198SOURCE=.\src\bool\dec\decPrint.c
5199# End Source File
5200# Begin Source File
5201
5202SOURCE=.\src\bool\dec\decUtil.c
5203# End Source File
5204# End Group
5205# Begin Group "deco"
5206
5207# PROP Default_Filter ""
5208# Begin Source File
5209
5210SOURCE=.\src\bool\deco\deco.h
5211# End Source File
5212# End Group
5213# Begin Group "kit"
5214
5215# PROP Default_Filter ""
5216# Begin Source File
5217
5218SOURCE=.\src\bool\kit\cloud.c
5219# End Source File
5220# Begin Source File
5221
5222SOURCE=.\src\bool\kit\cloud.h
5223# End Source File
5224# Begin Source File
5225
5226SOURCE=.\src\bool\kit\kit.h
5227# End Source File
5228# Begin Source File
5229
5230SOURCE=.\src\bool\kit\kit_.c
5231# End Source File
5232# Begin Source File
5233
5234SOURCE=.\src\bool\kit\kitAig.c
5235# End Source File
5236# Begin Source File
5237
5238SOURCE=.\src\bool\kit\kitBdd.c
5239# End Source File
5240# Begin Source File
5241
5242SOURCE=.\src\bool\kit\kitCloud.c
5243# End Source File
5244# Begin Source File
5245
5246SOURCE=.\src\bool\kit\kitDec.c
5247# End Source File
5248# Begin Source File
5249
5250SOURCE=.\src\bool\kit\kitDsd.c
5251# End Source File
5252# Begin Source File
5253
5254SOURCE=.\src\bool\kit\kitFactor.c
5255# End Source File
5256# Begin Source File
5257
5258SOURCE=.\src\bool\kit\kitGraph.c
5259# End Source File
5260# Begin Source File
5261
5262SOURCE=.\src\bool\kit\kitHop.c
5263# End Source File
5264# Begin Source File
5265
5266SOURCE=.\src\bool\kit\kitIsop.c
5267# End Source File
5268# Begin Source File
5269
5270SOURCE=.\src\bool\kit\kitPerm.c
5271# End Source File
5272# Begin Source File
5273
5274SOURCE=.\src\bool\kit\kitPla.c
5275# End Source File
5276# Begin Source File
5277
5278SOURCE=.\src\bool\kit\kitSop.c
5279# End Source File
5280# Begin Source File
5281
5282SOURCE=.\src\bool\kit\kitTruth.c
5283# End Source File
5284# End Group
5285# Begin Group "lucky"
5286
5287# PROP Default_Filter ""
5288# Begin Source File
5289
5290SOURCE=.\src\bool\lucky\lucky.c
5291# End Source File
5292# Begin Source File
5293
5294SOURCE=.\src\bool\lucky\lucky.h
5295# End Source File
5296# Begin Source File
5297
5298SOURCE=.\src\bool\lucky\luckyFast16.c
5299# End Source File
5300# Begin Source File
5301
5302SOURCE=.\src\bool\lucky\luckyFast6.c
5303# End Source File
5304# Begin Source File
5305
5306SOURCE=.\src\bool\lucky\luckyInt.h
5307# End Source File
5308# Begin Source File
5309
5310SOURCE=.\src\bool\lucky\luckyRead.c
5311# End Source File
5312# Begin Source File
5313
5314SOURCE=.\src\bool\lucky\luckySimple.c
5315# End Source File
5316# Begin Source File
5317
5318SOURCE=.\src\bool\lucky\luckySwap.c
5319# End Source File
5320# Begin Source File
5321
5322SOURCE=.\src\bool\lucky\luckySwapIJ.c
5323# End Source File
5324# End Group
5325# Begin Group "rsb"
5326
5327# PROP Default_Filter ""
5328# Begin Source File
5329
5330SOURCE=.\src\bool\rsb\rsb.h
5331# End Source File
5332# Begin Source File
5333
5334SOURCE=.\src\bool\rsb\rsbDec6.c
5335# End Source File
5336# Begin Source File
5337
5338SOURCE=.\src\bool\rsb\rsbInt.h
5339# End Source File
5340# Begin Source File
5341
5342SOURCE=.\src\bool\rsb\rsbMan.c
5343# End Source File
5344# End Group
5345# Begin Group "rpo"
5346
5347# PROP Default_Filter ""
5348# Begin Source File
5349
5350SOURCE=.\src\bool\rpo\literal.h
5351# End Source File
5352# Begin Source File
5353
5354SOURCE=.\src\bool\rpo\rpo.c
5355# End Source File
5356# Begin Source File
5357
5358SOURCE=.\src\bool\rpo\rpo.h
5359# End Source File
5360# End Group
5361# End Group
5362# Begin Group "prove"
5363
5364# PROP Default_Filter ""
5365# Begin Group "cec"
5366
5367# PROP Default_Filter ""
5368# Begin Source File
5369
5370SOURCE=.\src\proof\cec\cec.h
5371# End Source File
5372# Begin Source File
5373
5374SOURCE=.\src\proof\cec\cecCec.c
5375# End Source File
5376# Begin Source File
5377
5378SOURCE=.\src\proof\cec\cecChoice.c
5379# End Source File
5380# Begin Source File
5381
5382SOURCE=.\src\proof\cec\cecClass.c
5383# End Source File
5384# Begin Source File
5385
5386SOURCE=.\src\proof\cec\cecCore.c
5387# End Source File
5388# Begin Source File
5389
5390SOURCE=.\src\proof\cec\cecCorr.c
5391# End Source File
5392# Begin Source File
5393
5394SOURCE=.\src\proof\cec\cecInt.h
5395# End Source File
5396# Begin Source File
5397
5398SOURCE=.\src\proof\cec\cecIso.c
5399# End Source File
5400# Begin Source File
5401
5402SOURCE=.\src\proof\cec\cecMan.c
5403# End Source File
5404# Begin Source File
5405
5406SOURCE=.\src\proof\cec\cecPat.c
5407# End Source File
5408# Begin Source File
5409
5410SOURCE=.\src\proof\cec\cecSat.c
5411# End Source File
5412# Begin Source File
5413
5414SOURCE=.\src\proof\cec\cecSatG.c
5415# End Source File
5416# Begin Source File
5417
5418SOURCE=.\src\proof\cec\cecSeq.c
5419# End Source File
5420# Begin Source File
5421
5422SOURCE=.\src\proof\cec\cecSolve.c
5423# End Source File
5424# Begin Source File
5425
5426SOURCE=.\src\proof\cec\cecSplit.c
5427# End Source File
5428# Begin Source File
5429
5430SOURCE=.\src\proof\cec\cecSweep.c
5431# End Source File
5432# Begin Source File
5433
5434SOURCE=.\src\proof\cec\cecSynth.c
5435# End Source File
5436# End Group
5437# Begin Group "dch"
5438
5439# PROP Default_Filter ""
5440# Begin Source File
5441
5442SOURCE=.\src\proof\dch\dch.h
5443# End Source File
5444# Begin Source File
5445
5446SOURCE=.\src\proof\dch\dchAig.c
5447# End Source File
5448# Begin Source File
5449
5450SOURCE=.\src\proof\dch\dchChoice.c
5451# End Source File
5452# Begin Source File
5453
5454SOURCE=.\src\proof\dch\dchClass.c
5455# End Source File
5456# Begin Source File
5457
5458SOURCE=.\src\proof\dch\dchCnf.c
5459# End Source File
5460# Begin Source File
5461
5462SOURCE=.\src\proof\dch\dchCore.c
5463# End Source File
5464# Begin Source File
5465
5466SOURCE=.\src\proof\dch\dchInt.h
5467# End Source File
5468# Begin Source File
5469
5470SOURCE=.\src\proof\dch\dchMan.c
5471# End Source File
5472# Begin Source File
5473
5474SOURCE=.\src\proof\dch\dchSat.c
5475# End Source File
5476# Begin Source File
5477
5478SOURCE=.\src\proof\dch\dchSim.c
5479# End Source File
5480# Begin Source File
5481
5482SOURCE=.\src\proof\dch\dchSimSat.c
5483# End Source File
5484# Begin Source File
5485
5486SOURCE=.\src\proof\dch\dchSweep.c
5487# End Source File
5488# End Group
5489# Begin Group "fra"
5490
5491# PROP Default_Filter ""
5492# Begin Source File
5493
5494SOURCE=.\src\proof\fra\fra.h
5495# End Source File
5496# Begin Source File
5497
5498SOURCE=.\src\proof\fra\fraBmc.c
5499# End Source File
5500# Begin Source File
5501
5502SOURCE=.\src\proof\fra\fraCec.c
5503# End Source File
5504# Begin Source File
5505
5506SOURCE=.\src\proof\fra\fraClass.c
5507# End Source File
5508# Begin Source File
5509
5510SOURCE=.\src\proof\fra\fraClau.c
5511# End Source File
5512# Begin Source File
5513
5514SOURCE=.\src\proof\fra\fraClaus.c
5515# End Source File
5516# Begin Source File
5517
5518SOURCE=.\src\proof\fra\fraCnf.c
5519# End Source File
5520# Begin Source File
5521
5522SOURCE=.\src\proof\fra\fraCore.c
5523# End Source File
5524# Begin Source File
5525
5526SOURCE=.\src\proof\fra\fraHot.c
5527# End Source File
5528# Begin Source File
5529
5530SOURCE=.\src\proof\fra\fraImp.c
5531# End Source File
5532# Begin Source File
5533
5534SOURCE=.\src\proof\fra\fraInd.c
5535# End Source File
5536# Begin Source File
5537
5538SOURCE=.\src\proof\fra\fraIndVer.c
5539# End Source File
5540# Begin Source File
5541
5542SOURCE=.\src\proof\fra\fraLcr.c
5543# End Source File
5544# Begin Source File
5545
5546SOURCE=.\src\proof\fra\fraMan.c
5547# End Source File
5548# Begin Source File
5549
5550SOURCE=.\src\proof\fra\fraPart.c
5551# End Source File
5552# Begin Source File
5553
5554SOURCE=.\src\proof\fra\fraSat.c
5555# End Source File
5556# Begin Source File
5557
5558SOURCE=.\src\proof\fra\fraSec.c
5559# End Source File
5560# Begin Source File
5561
5562SOURCE=.\src\proof\fra\fraSim.c
5563# End Source File
5564# End Group
5565# Begin Group "fraig"
5566
5567# PROP Default_Filter ""
5568# Begin Source File
5569
5570SOURCE=.\src\proof\fraig\fraig.h
5571# End Source File
5572# Begin Source File
5573
5574SOURCE=.\src\proof\fraig\fraigApi.c
5575# End Source File
5576# Begin Source File
5577
5578SOURCE=.\src\proof\fraig\fraigCanon.c
5579# End Source File
5580# Begin Source File
5581
5582SOURCE=.\src\proof\fraig\fraigChoice.c
5583# End Source File
5584# Begin Source File
5585
5586SOURCE=.\src\proof\fraig\fraigFanout.c
5587# End Source File
5588# Begin Source File
5589
5590SOURCE=.\src\proof\fraig\fraigFeed.c
5591# End Source File
5592# Begin Source File
5593
5594SOURCE=.\src\proof\fraig\fraigInt.h
5595# End Source File
5596# Begin Source File
5597
5598SOURCE=.\src\proof\fraig\fraigMan.c
5599# End Source File
5600# Begin Source File
5601
5602SOURCE=.\src\proof\fraig\fraigMem.c
5603# End Source File
5604# Begin Source File
5605
5606SOURCE=.\src\proof\fraig\fraigNode.c
5607# End Source File
5608# Begin Source File
5609
5610SOURCE=.\src\proof\fraig\fraigPrime.c
5611# End Source File
5612# Begin Source File
5613
5614SOURCE=.\src\proof\fraig\fraigSat.c
5615# End Source File
5616# Begin Source File
5617
5618SOURCE=.\src\proof\fraig\fraigTable.c
5619# End Source File
5620# Begin Source File
5621
5622SOURCE=.\src\proof\fraig\fraigUtil.c
5623# End Source File
5624# Begin Source File
5625
5626SOURCE=.\src\proof\fraig\fraigVec.c
5627# End Source File
5628# End Group
5629# Begin Group "int"
5630
5631# PROP Default_Filter ""
5632# Begin Source File
5633
5634SOURCE=.\src\proof\int\int.h
5635# End Source File
5636# Begin Source File
5637
5638SOURCE=.\src\proof\int\intCheck.c
5639# End Source File
5640# Begin Source File
5641
5642SOURCE=.\src\proof\int\intContain.c
5643# End Source File
5644# Begin Source File
5645
5646SOURCE=.\src\proof\int\intCore.c
5647# End Source File
5648# Begin Source File
5649
5650SOURCE=.\src\proof\int\intCtrex.c
5651# End Source File
5652# Begin Source File
5653
5654SOURCE=.\src\proof\int\intDup.c
5655# End Source File
5656# Begin Source File
5657
5658SOURCE=.\src\proof\int\intFrames.c
5659# End Source File
5660# Begin Source File
5661
5662SOURCE=.\src\proof\int\intInt.h
5663# End Source File
5664# Begin Source File
5665
5666SOURCE=.\src\proof\int\intInter.c
5667# End Source File
5668# Begin Source File
5669
5670SOURCE=.\src\proof\int\intM114.c
5671# End Source File
5672# Begin Source File
5673
5674SOURCE=.\src\proof\int\intMan.c
5675# End Source File
5676# Begin Source File
5677
5678SOURCE=.\src\proof\int\intUtil.c
5679# End Source File
5680# End Group
5681# Begin Group "live"
5682
5683# PROP Default_Filter ""
5684# Begin Source File
5685
5686SOURCE=.\src\proof\live\arenaViolation.c
5687# End Source File
5688# Begin Source File
5689
5690SOURCE=.\src\proof\live\combination.c
5691# End Source File
5692# Begin Source File
5693
5694SOURCE=.\src\proof\live\disjunctiveMonotone.c
5695# End Source File
5696# Begin Source File
5697
5698SOURCE=.\src\proof\live\kLiveConstraints.c
5699# End Source File
5700# Begin Source File
5701
5702SOURCE=.\src\proof\live\kliveness.c
5703# End Source File
5704# Begin Source File
5705
5706SOURCE=.\src\proof\live\liveness.c
5707# End Source File
5708# Begin Source File
5709
5710SOURCE=.\src\proof\live\liveness_sim.c
5711# End Source File
5712# Begin Source File
5713
5714SOURCE=.\src\proof\live\ltl_parser.c
5715# End Source File
5716# Begin Source File
5717
5718SOURCE=.\src\proof\live\monotone.c
5719# End Source File
5720# End Group
5721# Begin Group "pdr"
5722
5723# PROP Default_Filter ""
5724# Begin Source File
5725
5726SOURCE=.\src\proof\pdr\pdr.h
5727# End Source File
5728# Begin Source File
5729
5730SOURCE=.\src\proof\pdr\pdrClass.c
5731# End Source File
5732# Begin Source File
5733
5734SOURCE=.\src\proof\pdr\pdrCnf.c
5735# End Source File
5736# Begin Source File
5737
5738SOURCE=.\src\proof\pdr\pdrCore.c
5739# End Source File
5740# Begin Source File
5741
5742SOURCE=.\src\proof\pdr\pdrIncr.c
5743# End Source File
5744# Begin Source File
5745
5746SOURCE=.\src\proof\pdr\pdrInt.h
5747# End Source File
5748# Begin Source File
5749
5750SOURCE=.\src\proof\pdr\pdrInv.c
5751# End Source File
5752# Begin Source File
5753
5754SOURCE=.\src\proof\pdr\pdrMan.c
5755# End Source File
5756# Begin Source File
5757
5758SOURCE=.\src\proof\pdr\pdrSat.c
5759# End Source File
5760# Begin Source File
5761
5762SOURCE=.\src\proof\pdr\pdrTsim.c
5763# End Source File
5764# Begin Source File
5765
5766SOURCE=.\src\proof\pdr\pdrTsim2.c
5767# End Source File
5768# Begin Source File
5769
5770SOURCE=.\src\proof\pdr\pdrTsim3.c
5771# End Source File
5772# Begin Source File
5773
5774SOURCE=.\src\proof\pdr\pdrUtil.c
5775# End Source File
5776# End Group
5777# Begin Group "ssw"
5778
5779# PROP Default_Filter ""
5780# Begin Source File
5781
5782SOURCE=.\src\proof\ssw\ssw.h
5783# End Source File
5784# Begin Source File
5785
5786SOURCE=.\src\proof\ssw\sswAig.c
5787# End Source File
5788# Begin Source File
5789
5790SOURCE=.\src\proof\ssw\sswBmc.c
5791# End Source File
5792# Begin Source File
5793
5794SOURCE=.\src\proof\ssw\sswClass.c
5795# End Source File
5796# Begin Source File
5797
5798SOURCE=.\src\proof\ssw\sswCnf.c
5799# End Source File
5800# Begin Source File
5801
5802SOURCE=.\src\proof\ssw\sswConstr.c
5803# End Source File
5804# Begin Source File
5805
5806SOURCE=.\src\proof\ssw\sswCore.c
5807# End Source File
5808# Begin Source File
5809
5810SOURCE=.\src\proof\ssw\sswDyn.c
5811# End Source File
5812# Begin Source File
5813
5814SOURCE=.\src\proof\ssw\sswFilter.c
5815# End Source File
5816# Begin Source File
5817
5818SOURCE=.\src\proof\ssw\sswInt.h
5819# End Source File
5820# Begin Source File
5821
5822SOURCE=.\src\proof\ssw\sswIslands.c
5823# End Source File
5824# Begin Source File
5825
5826SOURCE=.\src\proof\ssw\sswLcorr.c
5827# End Source File
5828# Begin Source File
5829
5830SOURCE=.\src\proof\ssw\sswMan.c
5831# End Source File
5832# Begin Source File
5833
5834SOURCE=.\src\proof\ssw\sswPairs.c
5835# End Source File
5836# Begin Source File
5837
5838SOURCE=.\src\proof\ssw\sswPart.c
5839# End Source File
5840# Begin Source File
5841
5842SOURCE=.\src\proof\ssw\sswRarity.c
5843# End Source File
5844# Begin Source File
5845
5846SOURCE=.\src\proof\ssw\sswRarity2.c
5847# End Source File
5848# Begin Source File
5849
5850SOURCE=.\src\proof\ssw\sswSat.c
5851# End Source File
5852# Begin Source File
5853
5854SOURCE=.\src\proof\ssw\sswSemi.c
5855# End Source File
5856# Begin Source File
5857
5858SOURCE=.\src\proof\ssw\sswSim.c
5859# End Source File
5860# Begin Source File
5861
5862SOURCE=.\src\proof\ssw\sswSimSat.c
5863# End Source File
5864# Begin Source File
5865
5866SOURCE=.\src\proof\ssw\sswSweep.c
5867# End Source File
5868# Begin Source File
5869
5870SOURCE=.\src\proof\ssw\sswUnique.c
5871# End Source File
5872# End Group
5873# Begin Group "abs"
5874
5875# PROP Default_Filter ""
5876# Begin Source File
5877
5878SOURCE=.\src\proof\abs\abs.c
5879# End Source File
5880# Begin Source File
5881
5882SOURCE=.\src\proof\abs\abs.h
5883# End Source File
5884# Begin Source File
5885
5886SOURCE=.\src\proof\abs\absDup.c
5887# End Source File
5888# Begin Source File
5889
5890SOURCE=.\src\proof\abs\absGla.c
5891# End Source File
5892# Begin Source File
5893
5894SOURCE=.\src\proof\abs\absGlaOld.c
5895# End Source File
5896# Begin Source File
5897
5898SOURCE=.\src\proof\abs\absIter.c
5899# End Source File
5900# Begin Source File
5901
5902SOURCE=.\src\proof\abs\absOldCex.c
5903# End Source File
5904# Begin Source File
5905
5906SOURCE=.\src\proof\abs\absOldRef.c
5907# End Source File
5908# Begin Source File
5909
5910SOURCE=.\src\proof\abs\absOldSat.c
5911# End Source File
5912# Begin Source File
5913
5914SOURCE=.\src\proof\abs\absOldSim.c
5915# End Source File
5916# Begin Source File
5917
5918SOURCE=.\src\proof\abs\absOut.c
5919# End Source File
5920# Begin Source File
5921
5922SOURCE=.\src\proof\abs\absPth.c
5923# End Source File
5924# Begin Source File
5925
5926SOURCE=.\src\proof\abs\absRef.c
5927# End Source File
5928# Begin Source File
5929
5930SOURCE=.\src\proof\abs\absRef.h
5931# End Source File
5932# Begin Source File
5933
5934SOURCE=.\src\proof\abs\absRefSelect.c
5935# End Source File
5936# Begin Source File
5937
5938SOURCE=.\src\proof\abs\absRpm.c
5939# End Source File
5940# Begin Source File
5941
5942SOURCE=.\src\proof\abs\absRpmOld.c
5943# End Source File
5944# Begin Source File
5945
5946SOURCE=.\src\proof\abs\absUtil.c
5947# End Source File
5948# Begin Source File
5949
5950SOURCE=.\src\proof\abs\absVta.c
5951# End Source File
5952# End Group
5953# Begin Group "ssc"
5954
5955# PROP Default_Filter ""
5956# Begin Source File
5957
5958SOURCE=.\src\proof\ssc\ssc.h
5959# End Source File
5960# Begin Source File
5961
5962SOURCE=.\src\proof\ssc\sscClass.c
5963# End Source File
5964# Begin Source File
5965
5966SOURCE=.\src\proof\ssc\sscCore.c
5967# End Source File
5968# Begin Source File
5969
5970SOURCE=.\src\proof\ssc\sscInt.h
5971# End Source File
5972# Begin Source File
5973
5974SOURCE=.\src\proof\ssc\sscSat.c
5975# End Source File
5976# Begin Source File
5977
5978SOURCE=.\src\proof\ssc\sscSim.c
5979# End Source File
5980# Begin Source File
5981
5982SOURCE=.\src\proof\ssc\sscUtil.c
5983# End Source File
5984# End Group
5985# Begin Group "int2"
5986
5987# PROP Default_Filter ""
5988# End Group
5989# Begin Group "acec"
5990
5991# PROP Default_Filter ""
5992# Begin Source File
5993
5994SOURCE=.\src\proof\acec\acec.h
5995# End Source File
5996# Begin Source File
5997
5998SOURCE=.\src\proof\acec\acec2Mult.c
5999# End Source File
6000# Begin Source File
6001
6002SOURCE=.\src\proof\acec\acecBo.c
6003# End Source File
6004# Begin Source File
6005
6006SOURCE=.\src\proof\acec\acecCl.c
6007# End Source File
6008# Begin Source File
6009
6010SOURCE=.\src\proof\acec\acecCo.c
6011# End Source File
6012# Begin Source File
6013
6014SOURCE=.\src\proof\acec\acecCore.c
6015# End Source File
6016# Begin Source File
6017
6018SOURCE=.\src\proof\acec\acecCover.c
6019# End Source File
6020# Begin Source File
6021
6022SOURCE=.\src\proof\acec\acecFadds.c
6023# End Source File
6024# Begin Source File
6025
6026SOURCE=.\src\proof\acec\acecInt.h
6027# End Source File
6028# Begin Source File
6029
6030SOURCE=.\src\proof\acec\acecMult.c
6031# End Source File
6032# Begin Source File
6033
6034SOURCE=.\src\proof\acec\acecNorm.c
6035# End Source File
6036# Begin Source File
6037
6038SOURCE=.\src\proof\acec\acecOrder.c
6039# End Source File
6040# Begin Source File
6041
6042SOURCE=.\src\proof\acec\acecPa.c
6043# End Source File
6044# Begin Source File
6045
6046SOURCE=.\src\proof\acec\acecPo.c
6047# End Source File
6048# Begin Source File
6049
6050SOURCE=.\src\proof\acec\acecPolyn.c
6051# End Source File
6052# Begin Source File
6053
6054SOURCE=.\src\proof\acec\acecPool.c
6055# End Source File
6056# Begin Source File
6057
6058SOURCE=.\src\proof\acec\acecRe.c
6059# End Source File
6060# Begin Source File
6061
6062SOURCE=.\src\proof\acec\acecSt.c
6063# End Source File
6064# Begin Source File
6065
6066SOURCE=.\src\proof\acec\acecStruct.c
6067# End Source File
6068# Begin Source File
6069
6070SOURCE=.\src\proof\acec\acecTree.c
6071# End Source File
6072# Begin Source File
6073
6074SOURCE=.\src\proof\acec\acecUtil.c
6075# End Source File
6076# Begin Source File
6077
6078SOURCE=.\src\proof\acec\acecXor.c
6079# End Source File
6080# End Group
6081# End Group
6082# End Group
6083# Begin Group "Header Files"
6084
6085# PROP Default_Filter "h;hpp;hxx;hm;inl"
6086# End Group
6087# End Target
6088# End Project
6089