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