<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <ItemGroup>
    <Filter Include="Source Files">
      <UniqueIdentifier>{4bc310c2-be65-4d60-a234-1cd0c78e53cf}</UniqueIdentifier>
      <Extensions>cpp;c;cxx;rc;def;r;odl;idl;hpj;bat</Extensions>
    </Filter>
    <Filter Include="Source Files\base">
      <UniqueIdentifier>{9d56f3f8-76fb-4ee6-8513-f7f66403e3f6}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\abc">
      <UniqueIdentifier>{1e3ec414-bbe1-480c-9709-f96389264fa6}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\abci">
      <UniqueIdentifier>{ffff3072-16d7-4699-b160-0ac05247c649}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\cmd">
      <UniqueIdentifier>{6a98b0a9-96c2-4d32-bbcd-e0269167325a}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\io">
      <UniqueIdentifier>{52e070af-3f45-440a-a310-18139abeb370}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\main">
      <UniqueIdentifier>{89ea07e6-0603-429d-8791-5565bc212778}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\ver">
      <UniqueIdentifier>{87243e5d-7d34-4f99-9a3a-fc6eb61a34b0}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\test">
      <UniqueIdentifier>{7e0623f2-5099-404d-bba0-1b8b6f0dabed}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\wlc">
      <UniqueIdentifier>{6e966226-aae2-46ff-bae1-8ee8e40ca99e}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\base\cba">
      <UniqueIdentifier>{019fb7eb-3e7b-4c40-8378-ef64fc425d40}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd">
      <UniqueIdentifier>{34eacab6-29cb-41f9-8c56-85b37e378e16}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd\cudd">
      <UniqueIdentifier>{1b7301e0-4ebf-45b4-bf9d-ce0f2cc50288}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd\epd">
      <UniqueIdentifier>{3bb42312-e422-4efb-b4ff-3667dbad35d5}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd\mtr">
      <UniqueIdentifier>{3f59493f-e0f8-4921-accd-0f3382a96275}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd\parse">
      <UniqueIdentifier>{ae8a06e7-6268-46c8-9b23-ab2b5b46351d}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd\dsd">
      <UniqueIdentifier>{de006481-3300-4f9f-b643-45a89a3278a7}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd\reo">
      <UniqueIdentifier>{5cca4c73-9a2e-4b59-acee-e1412cabc7eb}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bdd\cas">
      <UniqueIdentifier>{9f18f7e6-0574-44db-bcbb-383d37d450c0}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat">
      <UniqueIdentifier>{d2bf4508-0837-45c7-923e-addac88173a9}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\msat">
      <UniqueIdentifier>{c1706555-21c6-477e-9b27-002886fb3993}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\csat">
      <UniqueIdentifier>{18af32e2-8fde-4ff6-821e-4525111ebac6}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\bsat">
      <UniqueIdentifier>{3ff1458e-c1c5-49a7-8cbc-15077114382e}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\proof">
      <UniqueIdentifier>{c10429f4-4281-4b58-8d1f-c114d175b4e9}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\psat">
      <UniqueIdentifier>{4ebd772f-867a-410b-a241-3c6706ce0343}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\lsat">
      <UniqueIdentifier>{b27b1ed3-0acd-40d0-ab66-d4f2c5b2b618}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\cnf">
      <UniqueIdentifier>{cb60e3d2-0beb-4418-beae-f728af1b1c0a}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\sat\bmc">
      <UniqueIdentifier>{9abcdf2c-d930-486e-9d02-137a43d93a9a}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt">
      <UniqueIdentifier>{5e0495ba-fc09-49aa-a2db-f39a01b92baf}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\fxu">
      <UniqueIdentifier>{68d35f75-c0f8-4b3f-8331-9211e6ae6b39}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\rwr">
      <UniqueIdentifier>{a3d4a040-a3bd-4aa0-87f1-95cb361ae3b0}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\cut">
      <UniqueIdentifier>{0b6e1e1c-6270-46d9-a39b-75c60e7fff25}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\sim">
      <UniqueIdentifier>{6881be8c-cec6-46e4-a2f5-960753750d95}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\ret">
      <UniqueIdentifier>{a49f9047-22fd-459b-9372-5b19c77b97e8}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\res">
      <UniqueIdentifier>{86d3ce27-3a05-406d-bba9-70cd8819a5d0}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\lpk">
      <UniqueIdentifier>{cb8e045f-1627-46e6-b5eb-d2d4d0bd6626}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\mfs">
      <UniqueIdentifier>{208a6faf-6453-42c5-8c16-38939829b2cd}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\cgt">
      <UniqueIdentifier>{04c0282f-670e-4695-95cf-013ed2d9cec6}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\csw">
      <UniqueIdentifier>{ed404d61-0fb4-41b5-837a-ff73a3495add}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\dar">
      <UniqueIdentifier>{d9c63f26-117e-481b-80e7-2bb861c1972b}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\rwt">
      <UniqueIdentifier>{c8a7b5bf-37cd-4d01-b140-92d760fc0f31}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\nwk">
      <UniqueIdentifier>{385422b3-1512-45a6-b888-cd9496ea182f}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\dau">
      <UniqueIdentifier>{d881bd96-97f1-4230-a15c-7e55fcc0a6c1}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\opt\sfm">
      <UniqueIdentifier>{ff47c537-8b51-4d0b-8cb2-cd4b10595b05}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map">
      <UniqueIdentifier>{ee67185c-b62e-46be-8490-de76a2be4355}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\mapper">
      <UniqueIdentifier>{b1d0da79-0c5e-4959-ac82-41327d27dd99}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\mio">
      <UniqueIdentifier>{2991a8ec-6cfa-4544-94e5-8c04af82c7d7}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\super">
      <UniqueIdentifier>{e67beb40-af88-491e-a6cb-2e29ab15d513}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\if">
      <UniqueIdentifier>{1aaeccf5-b19e-4c8a-ab06-34ab42885af0}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\amap">
      <UniqueIdentifier>{f2d3eb4c-1395-4353-a8bc-028b92306c51}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\cov">
      <UniqueIdentifier>{71051fb6-7245-49de-b742-16866f8f5a51}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\scl">
      <UniqueIdentifier>{ac375768-100f-442e-98bf-208945c5e1b4}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\map\mpm">
      <UniqueIdentifier>{e4e1f9b4-5261-4f48-b5d4-b0f59a87bb4c}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc">
      <UniqueIdentifier>{3a0c56e1-2769-49ae-8a0b-dd6ad0ba25ea}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\extra">
      <UniqueIdentifier>{9b61c22e-a9ef-43b0-917e-4acf08bb0670}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\st">
      <UniqueIdentifier>{22a6374b-ddce-4019-9b5c-72171b4f31e9}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\mvc">
      <UniqueIdentifier>{a9d55eae-1e4f-404f-94d4-b7d8d2b5e07a}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\vec">
      <UniqueIdentifier>{89e900b5-45a3-4518-8619-8224bf286963}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\util">
      <UniqueIdentifier>{7b605769-dfdd-4dc1-a9de-1cfb1423f732}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\nm">
      <UniqueIdentifier>{9c086467-34c3-49c7-a597-921a6079eefb}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\hash">
      <UniqueIdentifier>{6605c6f7-a040-40b2-9eef-f29e173b19ed}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\bzlib">
      <UniqueIdentifier>{f42381a5-be82-47ab-92a5-cc9e4a5ca35e}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\zlib">
      <UniqueIdentifier>{aadfcc56-bf8a-44e2-91dc-0b494e1b75ce}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\bar">
      <UniqueIdentifier>{294f85fa-288e-40fc-978d-bc1821dd9c8c}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\bbl">
      <UniqueIdentifier>{991771bd-faad-4229-aa96-1f13b74d14f7}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\mem">
      <UniqueIdentifier>{9dee8195-1b94-4103-a293-fdebbac87c0c}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\misc\tim">
      <UniqueIdentifier>{0a76b442-1ac2-4a26-a945-73efcc7b3ea8}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai">
      <UniqueIdentifier>{0233c865-d3f2-4073-8bd6-6dd566446331}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai\hop">
      <UniqueIdentifier>{54d9f98c-6d5b-4368-997c-c7bd4dcc3e63}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai\ivy">
      <UniqueIdentifier>{3cbfc992-c3b8-4e00-aa44-fbdad71b1861}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai\ioa">
      <UniqueIdentifier>{24ae407e-21c8-4fab-a8b2-e76ab623e423}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai\aig">
      <UniqueIdentifier>{ff25daf3-5174-4e83-b5d6-63e63bc135a9}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai\saig">
      <UniqueIdentifier>{5052a6fb-0dc5-4e71-a607-37960efbbf6a}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai\gia">
      <UniqueIdentifier>{15ba502d-6c48-4257-8069-d1c99f84d8b6}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\ai\miniaig">
      <UniqueIdentifier>{d5189d4f-3170-4b3a-938e-6a099d8bd9b7}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool">
      <UniqueIdentifier>{ae77ceb6-02e8-4506-920e-a5c7c93fefdb}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool\bdc">
      <UniqueIdentifier>{c0be140e-4ef7-4022-a3d2-dd4617b89547}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool\dec">
      <UniqueIdentifier>{530077a1-6d4d-40aa-9cfd-a8c61a09e095}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool\deco">
      <UniqueIdentifier>{caf226e1-7434-40e3-90c0-07240a3a0d47}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool\kit">
      <UniqueIdentifier>{7d1c503d-3476-4833-94e2-adfaa730951f}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool\lucky">
      <UniqueIdentifier>{30ccc024-292b-4dde-a550-e5d7acdab572}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool\rsb">
      <UniqueIdentifier>{e9ecaf64-ad7e-40c8-9229-91d1cd32e2fb}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\bool\rpo">
      <UniqueIdentifier>{d25bf71d-0bd1-4415-899a-56d6f2d1f673}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove">
      <UniqueIdentifier>{15bce6c6-af6d-47f0-93f6-189068912cc1}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\bbr">
      <UniqueIdentifier>{30924738-618d-4fd4-8956-ec7edae29c37}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\cec">
      <UniqueIdentifier>{579f949b-9783-4b81-8796-da959ebe7498}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\dch">
      <UniqueIdentifier>{733daa5f-9172-455f-a8e6-9f851970166e}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\fra">
      <UniqueIdentifier>{31d10cdb-7ac5-4e2e-a788-7104d51bc46b}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\fraig">
      <UniqueIdentifier>{978cbb7d-0576-461c-855c-67635f5a49ca}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\int">
      <UniqueIdentifier>{0db94bb7-0a04-4903-b68b-f161615a2900}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\live">
      <UniqueIdentifier>{9d3fa0d8-1b4f-455e-9305-1210b2e2fc5e}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\llb">
      <UniqueIdentifier>{d6f7510b-309a-4422-b080-cca8dc674d52}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\pdr">
      <UniqueIdentifier>{92451320-f10d-474b-b089-88943da7c7c3}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\ssw">
      <UniqueIdentifier>{5d7b4bd0-7241-4422-8ff0-78f15bcc23d7}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\abs">
      <UniqueIdentifier>{874a88e4-f260-4dd2-b60f-a267d8c7dc7f}</UniqueIdentifier>
    </Filter>
    <Filter Include="Source Files\prove\ssc">
      <UniqueIdentifier>{3aa52a0f-ad46-4775-a226-f66b517033ff}</UniqueIdentifier>
    </Filter>
    <Filter Include="Header Files">
      <UniqueIdentifier>{80124ebf-2d67-45d1-9bb9-6d9832f8add9}</UniqueIdentifier>
      <Extensions>h;hpp;hxx;hm;inl</Extensions>
    </Filter>
  </ItemGroup>
  <ItemGroup>
    <ClInclude Include="src\base\abc\abc.h">
      <Filter>Source Files\base\abc</Filter>
    </ClInclude>
    <ClInclude Include="src\base\abc\abcInt.h">
      <Filter>Source Files\base\abc</Filter>
    </ClInclude>
    <ClInclude Include="src\base\cmd\cmd.h">
      <Filter>Source Files\base\cmd</Filter>
    </ClInclude>
    <ClInclude Include="src\base\cmd\cmdInt.h">
      <Filter>Source Files\base\cmd</Filter>
    </ClInclude>
    <ClInclude Include="src\base\io\ioabc.h">
      <Filter>Source Files\base\io</Filter>
    </ClInclude>
    <ClInclude Include="src\base\io\ioInt.h">
      <Filter>Source Files\base\io</Filter>
    </ClInclude>
    <ClInclude Include="src\base\main\main.h">
      <Filter>Source Files\base\main</Filter>
    </ClInclude>
    <ClInclude Include="src\base\main\mainInt.h">
      <Filter>Source Files\base\main</Filter>
    </ClInclude>
    <ClInclude Include="src\base\ver\ver.h">
      <Filter>Source Files\base\ver</Filter>
    </ClInclude>
    <ClInclude Include="src\base\wlc\wlc.h">
      <Filter>Source Files\base\wlc</Filter>
    </ClInclude>
    <ClInclude Include="src\base\cba\cba.h">
      <Filter>Source Files\base\cba</Filter>
    </ClInclude>
    <ClInclude Include="src\base\cba\cbaPrs.h">
      <Filter>Source Files\base\cba</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\cudd\cudd.h">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\cudd\cuddInt.h">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\epd\epd.h">
      <Filter>Source Files\bdd\epd</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\mtr\mtr.h">
      <Filter>Source Files\bdd\mtr</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\mtr\mtrInt.h">
      <Filter>Source Files\bdd\mtr</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\parse\parse.h">
      <Filter>Source Files\bdd\parse</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\parse\parseInt.h">
      <Filter>Source Files\bdd\parse</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\dsd\dsd.h">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\dsd\dsdInt.h">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\reo\reo.h">
      <Filter>Source Files\bdd\reo</Filter>
    </ClInclude>
    <ClInclude Include="src\bdd\cas\cas.h">
      <Filter>Source Files\bdd\cas</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\msat\msat.h">
      <Filter>Source Files\sat\msat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\msat\msatInt.h">
      <Filter>Source Files\sat\msat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\csat\csat_apis.h">
      <Filter>Source Files\sat\csat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satClause.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satMem.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satProof2.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satSolver.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satSolver2.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satStore.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satTruth.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bsat\satVec.h">
      <Filter>Source Files\sat\bsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\proof\pr.h">
      <Filter>Source Files\sat\proof</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\psat\m114p.h">
      <Filter>Source Files\sat\psat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\psat\m114p_types.h">
      <Filter>Source Files\sat\psat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\lsat\solver.h">
      <Filter>Source Files\sat\lsat</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\cnf\cnf.h">
      <Filter>Source Files\sat\cnf</Filter>
    </ClInclude>
    <ClInclude Include="src\sat\bmc\bmc.h">
      <Filter>Source Files\sat\bmc</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\fxu\fxu.h">
      <Filter>Source Files\opt\fxu</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\fxu\fxuInt.h">
      <Filter>Source Files\opt\fxu</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\rwr\rwr.h">
      <Filter>Source Files\opt\rwr</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\cut\cut.h">
      <Filter>Source Files\opt\cut</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\cut\cutInt.h">
      <Filter>Source Files\opt\cut</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\cut\cutList.h">
      <Filter>Source Files\opt\cut</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\sim\sim.h">
      <Filter>Source Files\opt\sim</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\ret\retInt.h">
      <Filter>Source Files\opt\ret</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\res\res.h">
      <Filter>Source Files\opt\res</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\res\resInt.h">
      <Filter>Source Files\opt\res</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\lpk\lpk.h">
      <Filter>Source Files\opt\lpk</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\lpk\lpkInt.h">
      <Filter>Source Files\opt\lpk</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\mfs\mfs.h">
      <Filter>Source Files\opt\mfs</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\mfs\mfsInt.h">
      <Filter>Source Files\opt\mfs</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\cgt\cgt.h">
      <Filter>Source Files\opt\cgt</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\cgt\cgtInt.h">
      <Filter>Source Files\opt\cgt</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\csw\csw.h">
      <Filter>Source Files\opt\csw</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\csw\cswInt.h">
      <Filter>Source Files\opt\csw</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\dar\dar.h">
      <Filter>Source Files\opt\dar</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\dar\darInt.h">
      <Filter>Source Files\opt\dar</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\rwt\rwt.h">
      <Filter>Source Files\opt\rwt</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\nwk\ntlnwk.h">
      <Filter>Source Files\opt\nwk</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\nwk\nwk.h">
      <Filter>Source Files\opt\nwk</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\nwk\nwkMerge.h">
      <Filter>Source Files\opt\nwk</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\dau\dau.h">
      <Filter>Source Files\opt\dau</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\dau\dauInt.h">
      <Filter>Source Files\opt\dau</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\sfm\sfm.h">
      <Filter>Source Files\opt\sfm</Filter>
    </ClInclude>
    <ClInclude Include="src\opt\sfm\sfmInt.h">
      <Filter>Source Files\opt\sfm</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mapper\mapper.h">
      <Filter>Source Files\map\mapper</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mapper\mapperInt.h">
      <Filter>Source Files\map\mapper</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mio\exp.h">
      <Filter>Source Files\map\mio</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mio\mio.h">
      <Filter>Source Files\map\mio</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mio\mioInt.h">
      <Filter>Source Files\map\mio</Filter>
    </ClInclude>
    <ClInclude Include="src\map\super\super.h">
      <Filter>Source Files\map\super</Filter>
    </ClInclude>
    <ClInclude Include="src\map\super\superInt.h">
      <Filter>Source Files\map\super</Filter>
    </ClInclude>
    <ClInclude Include="src\map\if\if.h">
      <Filter>Source Files\map\if</Filter>
    </ClInclude>
    <ClInclude Include="src\map\if\ifCount.h">
      <Filter>Source Files\map\if</Filter>
    </ClInclude>
    <ClInclude Include="src\map\amap\amap.h">
      <Filter>Source Files\map\amap</Filter>
    </ClInclude>
    <ClInclude Include="src\map\amap\amapInt.h">
      <Filter>Source Files\map\amap</Filter>
    </ClInclude>
    <ClInclude Include="src\map\cov\cov.h">
      <Filter>Source Files\map\cov</Filter>
    </ClInclude>
    <ClInclude Include="src\map\cov\covInt.h">
      <Filter>Source Files\map\cov</Filter>
    </ClInclude>
    <ClInclude Include="src\map\scl\scl.h">
      <Filter>Source Files\map\scl</Filter>
    </ClInclude>
    <ClInclude Include="src\map\scl\sclLib.h">
      <Filter>Source Files\map\scl</Filter>
    </ClInclude>
    <ClInclude Include="src\map\scl\sclSize.h">
      <Filter>Source Files\map\scl</Filter>
    </ClInclude>
    <ClInclude Include="src\map\scl\sclTime.h">
      <Filter>Source Files\map\scl</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mpm\mpm.h">
      <Filter>Source Files\map\mpm</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mpm\mpmInt.h">
      <Filter>Source Files\map\mpm</Filter>
    </ClInclude>
    <ClInclude Include="src\map\mpm\mpmMig.h">
      <Filter>Source Files\map\mpm</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\extra\extra.h">
      <Filter>Source Files\misc\extra</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\extra\extraBdd.h">
      <Filter>Source Files\misc\extra</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\st\st.h">
      <Filter>Source Files\misc\st</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\st\stmm.h">
      <Filter>Source Files\misc\st</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\mvc\mvc.h">
      <Filter>Source Files\misc\mvc</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vec.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecAtt.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecBit.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecFlt.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecHash.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecHsh.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecInt.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecMem.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecPtr.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecQue.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecSet.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecStr.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecVec.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecWec.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\vec\vecWrd.h">
      <Filter>Source Files\misc\vec</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\util\abc_global.h">
      <Filter>Source Files\misc\util</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\util\util_hack.h">
      <Filter>Source Files\misc\util</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\util\utilCex.h">
      <Filter>Source Files\misc\util</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\util\utilMem.h">
      <Filter>Source Files\misc\util</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\util\utilNam.h">
      <Filter>Source Files\misc\util</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\util\utilSignal.h">
      <Filter>Source Files\misc\util</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\util\utilTruth.h">
      <Filter>Source Files\misc\util</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\nm\nm.h">
      <Filter>Source Files\misc\nm</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\nm\nmInt.h">
      <Filter>Source Files\misc\nm</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\hash\hash.h">
      <Filter>Source Files\misc\hash</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\hash\hashFlt.h">
      <Filter>Source Files\misc\hash</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\hash\hashInt.h">
      <Filter>Source Files\misc\hash</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\hash\hashPtr.h">
      <Filter>Source Files\misc\hash</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\bzlib\bzlib.h">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\bzlib\bzlib_private.h">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\crc32.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\deflate.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\gzguts.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\inffast.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\inffixed.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\inflate.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\inftrees.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\trees.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\zconf.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\zlib.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\zlib\zutil.h">
      <Filter>Source Files\misc\zlib</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\bar\bar.h">
      <Filter>Source Files\misc\bar</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\bbl\bblif.h">
      <Filter>Source Files\misc\bbl</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\mem\mem.h">
      <Filter>Source Files\misc\mem</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\mem\mem2.h">
      <Filter>Source Files\misc\mem</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\tim\tim.h">
      <Filter>Source Files\misc\tim</Filter>
    </ClInclude>
    <ClInclude Include="src\misc\tim\timInt.h">
      <Filter>Source Files\misc\tim</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\hop\hop.h">
      <Filter>Source Files\ai\hop</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\ivy\ivy.h">
      <Filter>Source Files\ai\ivy</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\ioa\ioa.h">
      <Filter>Source Files\ai\ioa</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\aig\aig.h">
      <Filter>Source Files\ai\aig</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\saig\saig.h">
      <Filter>Source Files\ai\saig</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\gia\gia.h">
      <Filter>Source Files\ai\gia</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\gia\giaAig.h">
      <Filter>Source Files\ai\gia</Filter>
    </ClInclude>
    <ClInclude Include="src\aig\miniaig\miniaig.h">
      <Filter>Source Files\ai\miniaig</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\bdc\bdc.h">
      <Filter>Source Files\bool\bdc</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\bdc\bdcInt.h">
      <Filter>Source Files\bool\bdc</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\dec\dec.h">
      <Filter>Source Files\bool\dec</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\deco\deco.h">
      <Filter>Source Files\bool\deco</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\kit\cloud.h">
      <Filter>Source Files\bool\kit</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\kit\kit.h">
      <Filter>Source Files\bool\kit</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\lucky\lucky.h">
      <Filter>Source Files\bool\lucky</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\lucky\luckyInt.h">
      <Filter>Source Files\bool\lucky</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\rsb\rsb.h">
      <Filter>Source Files\bool\rsb</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\rsb\rsbInt.h">
      <Filter>Source Files\bool\rsb</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\rpo\literal.h">
      <Filter>Source Files\bool\rpo</Filter>
    </ClInclude>
    <ClInclude Include="src\bool\rpo\rpo.h">
      <Filter>Source Files\bool\rpo</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\bbr\bbr.h">
      <Filter>Source Files\prove\bbr</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\cec\cec.h">
      <Filter>Source Files\prove\cec</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\cec\cecInt.h">
      <Filter>Source Files\prove\cec</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\dch\dch.h">
      <Filter>Source Files\prove\dch</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\dch\dchInt.h">
      <Filter>Source Files\prove\dch</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\fra\fra.h">
      <Filter>Source Files\prove\fra</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\fraig\fraig.h">
      <Filter>Source Files\prove\fraig</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\fraig\fraigInt.h">
      <Filter>Source Files\prove\fraig</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\int\int.h">
      <Filter>Source Files\prove\int</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\int\intInt.h">
      <Filter>Source Files\prove\int</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\llb\llb.h">
      <Filter>Source Files\prove\llb</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\llb\llbInt.h">
      <Filter>Source Files\prove\llb</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\pdr\pdr.h">
      <Filter>Source Files\prove\pdr</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\pdr\pdrInt.h">
      <Filter>Source Files\prove\pdr</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\ssw\ssw.h">
      <Filter>Source Files\prove\ssw</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\ssw\sswInt.h">
      <Filter>Source Files\prove\ssw</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\abs\abs.h">
      <Filter>Source Files\prove\abs</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\abs\absRef.h">
      <Filter>Source Files\prove\abs</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\ssc\ssc.h">
      <Filter>Source Files\prove\ssc</Filter>
    </ClInclude>
    <ClInclude Include="src\proof\ssc\sscInt.h">
      <Filter>Source Files\prove\ssc</Filter>
    </ClInclude>
  </ItemGroup>
  <ItemGroup>
    <ClCompile Include="src\base\abc\abcAig.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcBarBuf.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcBlifMv.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcCheck.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcDfs.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcFanio.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcFanOrder.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcFunc.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcHie.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcHieCec.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcHieGia.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcHieNew.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcLatch.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcLib.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcMinBase.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcNames.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcNetlist.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcNtk.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcObj.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcRefs.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcShow.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcSop.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abc\abcUtil.c">
      <Filter>Source Files\base\abc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abc.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcAttach.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcAuto.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcBalance.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcBidec.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcBm.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcBmc.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcCas.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcCascade.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcCollapse.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcCut.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcDar.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcDebug.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcDec.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcDress.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcDress2.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcDsd.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcExtract.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcFraig.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcFx.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcFxu.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcGen.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcHaig.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcIf.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcIfif.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcIfMux.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcIvy.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcLog.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcLut.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcLutmin.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMap.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMeasure.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMerge.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMffc.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMfs.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMini.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMiter.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMulti.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcMv.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcNpn.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcNpnSave.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcNtbdd.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcOdc.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcOrder.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcPart.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcPrint.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcProve.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcQbf.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcQuant.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcReach.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcRec3.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcReconv.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcRefactor.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcRenode.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcReorder.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcRestruct.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcResub.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcRewrite.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcRpo.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcRr.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcSat.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcSaucy.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcScorr.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcSense.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcSpeedup.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcStrash.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcSweep.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcSymm.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcTim.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcTiming.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcUnate.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcUnreach.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcVerify.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\abci\abcXsim.c">
      <Filter>Source Files\base\abci</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmd.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdAlias.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdApi.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdFlag.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdHist.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdLoad.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdPlugin.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdStarter.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cmd\cmdUtils.c">
      <Filter>Source Files\base\cmd</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\io.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadAiger.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadBaf.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadBblif.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadBench.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadBlif.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadBlifAig.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadBlifMv.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadDsd.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadEdif.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadEqn.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadPla.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioReadVerilog.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioUtil.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteAiger.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteBaf.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteBblif.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteBench.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteBlif.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteBlifMv.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteBook.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteCnf.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteDot.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteEqn.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteGml.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteList.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWritePla.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteSmv.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\io\ioWriteVerilog.c">
      <Filter>Source Files\base\io</Filter>
    </ClCompile>
    <ClCompile Include="src\base\main\libSupport.c">
      <Filter>Source Files\base\main</Filter>
    </ClCompile>
    <ClCompile Include="src\base\main\mainFrame.c">
      <Filter>Source Files\base\main</Filter>
    </ClCompile>
    <ClCompile Include="src\base\main\mainInit.c">
      <Filter>Source Files\base\main</Filter>
    </ClCompile>
    <ClCompile Include="src\base\main\mainLib.c">
      <Filter>Source Files\base\main</Filter>
    </ClCompile>
    <ClCompile Include="src\base\main\mainReal.c">
      <Filter>Source Files\base\main</Filter>
    </ClCompile>
    <ClCompile Include="src\base\main\mainUtils.c">
      <Filter>Source Files\base\main</Filter>
    </ClCompile>
    <ClCompile Include="src\base\ver\verCore.c">
      <Filter>Source Files\base\ver</Filter>
    </ClCompile>
    <ClCompile Include="src\base\ver\verFormula.c">
      <Filter>Source Files\base\ver</Filter>
    </ClCompile>
    <ClCompile Include="src\base\ver\verParse.c">
      <Filter>Source Files\base\ver</Filter>
    </ClCompile>
    <ClCompile Include="src\base\ver\verStream.c">
      <Filter>Source Files\base\ver</Filter>
    </ClCompile>
    <ClCompile Include="src\base\test\test.c">
      <Filter>Source Files\base\test</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlc.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcAbs.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcBlast.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcCom.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcNtk.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcReadSmt.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcReadVer.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcStdin.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\wlc\wlcWriteVer.c">
      <Filter>Source Files\base\wlc</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaBlast.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaCba.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaCom.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaLib.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaNtk.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaOper.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaPrsBuild.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaPrsTrans.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaPtr.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaPtrAbc.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaReadBlif.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaReadSmt.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaReadVer.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaWriteBlif.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaWriteSmt.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\base\cba\cbaWriteVer.c">
      <Filter>Source Files\base\cba</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAddAbs.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAddApply.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAddFind.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAddInv.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAddIte.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAddNeg.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAddWalsh.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAndAbs.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAnneal.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddApa.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddAPI.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddApprox.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddBddAbs.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddBddCorr.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddBddIte.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddBridge.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddCache.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddCheck.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddClip.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddCof.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddCompose.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddDecomp.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddEssent.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddExact.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddExport.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddGenCof.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddGenetic.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddGroup.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddHarwell.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddInit.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddInteract.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddLCache.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddLevelQ.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddLinear.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddLiteral.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddMatMult.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddPriority.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddRead.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddRef.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddReorder.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddSat.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddSign.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddSolve.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddSplit.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddSubsetHB.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddSubsetSP.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddSymmetry.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddTable.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddUtil.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddWindow.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddCount.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddFuncs.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddGroup.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddIsop.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddLin.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddMisc.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddPort.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddReord.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddSetop.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddSymm.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cudd\cuddZddUtil.c">
      <Filter>Source Files\bdd\cudd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\epd\epd.c">
      <Filter>Source Files\bdd\epd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\mtr\mtrBasic.c">
      <Filter>Source Files\bdd\mtr</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\mtr\mtrGroup.c">
      <Filter>Source Files\bdd\mtr</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\parse\parseCore.c">
      <Filter>Source Files\bdd\parse</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\parse\parseEqn.c">
      <Filter>Source Files\bdd\parse</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\parse\parseStack.c">
      <Filter>Source Files\bdd\parse</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\dsd\dsdApi.c">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\dsd\dsdCheck.c">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\dsd\dsdLocal.c">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\dsd\dsdMan.c">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\dsd\dsdProc.c">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\dsd\dsdTree.c">
      <Filter>Source Files\bdd\dsd</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoApi.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoCore.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoProfile.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoShuffle.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoSift.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoSwap.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoTest.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoTransfer.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\reo\reoUnits.c">
      <Filter>Source Files\bdd\reo</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cas\casCore.c">
      <Filter>Source Files\bdd\cas</Filter>
    </ClCompile>
    <ClCompile Include="src\bdd\cas\casDec.c">
      <Filter>Source Files\bdd\cas</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatActivity.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatClause.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatClauseVec.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatMem.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatOrderH.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatQueue.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatRead.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatSolverApi.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatSolverCore.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatSolverIo.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatSolverSearch.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatSort.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\msat\msatVec.c">
      <Filter>Source Files\sat\msat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\csat\csat_apis.c">
      <Filter>Source Files\sat\csat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satInter.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satInterA.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satInterB.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satInterP.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satMem.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satProof.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satSolver.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satSolver2.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satSolver2i.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satStore.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satTrace.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satTruth.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bsat\satUtil.c">
      <Filter>Source Files\sat\bsat</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\proof\pr.c">
      <Filter>Source Files\sat\proof</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfCore.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfCut.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfData.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfFast.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfMan.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfMap.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfPost.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfUtil.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\cnf\cnfWrite.c">
      <Filter>Source Files\sat\cnf</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmc.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcBCore.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcBmc.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcBmc2.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcBmc3.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcBmcAnd.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcBmci.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcCexCare.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcCexCut.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcCexDepth.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcCexMin1.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcCexMin2.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcCexTools.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcChain.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcEco.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcFault.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcFx.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcICheck.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcInse.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcLoad.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcMaxi.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcMulti.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\sat\bmc\bmcUnroll.c">
      <Filter>Source Files\sat\bmc</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxu.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuCreate.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuHeapD.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuHeapS.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuList.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuMatrix.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuPair.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuPrint.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuReduce.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuSelect.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuSingle.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\fxu\fxuUpdate.c">
      <Filter>Source Files\opt\fxu</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrDec.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrEva.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrExp.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrLib.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrMan.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrPrint.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrTemp.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwr\rwrUtil.c">
      <Filter>Source Files\opt\rwr</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutApi.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutCut.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutExpand.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutMan.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutMerge.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutNode.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutOracle.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutPre22.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutSeq.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cut\cutTruth.c">
      <Filter>Source Files\opt\cut</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simMan.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSat.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSeq.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSupp.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSwitch.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSym.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSymSat.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSymSim.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simSymStr.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sim\simUtils.c">
      <Filter>Source Files\opt\sim</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\ret\retArea.c">
      <Filter>Source Files\opt\ret</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\ret\retCore.c">
      <Filter>Source Files\opt\ret</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\ret\retDelay.c">
      <Filter>Source Files\opt\ret</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\ret\retFlow.c">
      <Filter>Source Files\opt\ret</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\ret\retIncrem.c">
      <Filter>Source Files\opt\ret</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\ret\retInit.c">
      <Filter>Source Files\opt\ret</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\ret\retLvalue.c">
      <Filter>Source Files\opt\ret</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\res\resCore.c">
      <Filter>Source Files\opt\res</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\res\resDivs.c">
      <Filter>Source Files\opt\res</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\res\resFilter.c">
      <Filter>Source Files\opt\res</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\res\resSat.c">
      <Filter>Source Files\opt\res</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\res\resSim.c">
      <Filter>Source Files\opt\res</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\res\resStrash.c">
      <Filter>Source Files\opt\res</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\res\resWin.c">
      <Filter>Source Files\opt\res</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkAbcDec.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkAbcDsd.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkAbcMux.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkAbcUtil.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkCore.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkCut.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkMan.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkMap.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkMulti.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkMux.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\lpk\lpkSets.c">
      <Filter>Source Files\opt\lpk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsCore.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsDiv.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsInter.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsMan.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsResub.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsSat.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsStrash.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\mfs\mfsWin.c">
      <Filter>Source Files\opt\mfs</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cgt\cgtAig.c">
      <Filter>Source Files\opt\cgt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cgt\cgtCore.c">
      <Filter>Source Files\opt\cgt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cgt\cgtDecide.c">
      <Filter>Source Files\opt\cgt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cgt\cgtMan.c">
      <Filter>Source Files\opt\cgt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\cgt\cgtSat.c">
      <Filter>Source Files\opt\cgt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\csw\cswCore.c">
      <Filter>Source Files\opt\csw</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\csw\cswCut.c">
      <Filter>Source Files\opt\csw</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\csw\cswMan.c">
      <Filter>Source Files\opt\csw</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\csw\cswTable.c">
      <Filter>Source Files\opt\csw</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darBalance.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darCore.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darCut.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darData.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darLib.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darMan.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darPrec.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darRefact.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darResub.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dar\darScript.c">
      <Filter>Source Files\opt\dar</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwt\rwtDec.c">
      <Filter>Source Files\opt\rwt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwt\rwtMan.c">
      <Filter>Source Files\opt\rwt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\rwt\rwtUtil.c">
      <Filter>Source Files\opt\rwt</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkAig.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkBidec.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkCheck.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkDfs.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkFanio.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkFlow.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkMan.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkMap.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkMerge.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkObj.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkSpeedup.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkStrash.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkTiming.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\nwk\nwkUtil.c">
      <Filter>Source Files\opt\nwk</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dau.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauCanon.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauCore.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauDivs.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauDsd.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauEnum.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauGia.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauMerge.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauNonDsd.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\dau\dauTree.c">
      <Filter>Source Files\opt\dau</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sfm\sfmCnf.c">
      <Filter>Source Files\opt\sfm</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sfm\sfmCore.c">
      <Filter>Source Files\opt\sfm</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sfm\sfmNtk.c">
      <Filter>Source Files\opt\sfm</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sfm\sfmSat.c">
      <Filter>Source Files\opt\sfm</Filter>
    </ClCompile>
    <ClCompile Include="src\opt\sfm\sfmWin.c">
      <Filter>Source Files\opt\sfm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapper.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperCanon.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperCore.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperCreate.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperCut.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperCutUtils.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperFanout.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperLib.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperMatch.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperRefs.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperSuper.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperSwitch.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperTable.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperTime.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperTree.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperTruth.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperUtils.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mapper\mapperVec.c">
      <Filter>Source Files\map\mapper</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mio\mio.c">
      <Filter>Source Files\map\mio</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mio\mioApi.c">
      <Filter>Source Files\map\mio</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mio\mioFunc.c">
      <Filter>Source Files\map\mio</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mio\mioParse.c">
      <Filter>Source Files\map\mio</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mio\mioRead.c">
      <Filter>Source Files\map\mio</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mio\mioSop.c">
      <Filter>Source Files\map\mio</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mio\mioUtils.c">
      <Filter>Source Files\map\mio</Filter>
    </ClCompile>
    <ClCompile Include="src\map\super\super.c">
      <Filter>Source Files\map\super</Filter>
    </ClCompile>
    <ClCompile Include="src\map\super\superAnd.c">
      <Filter>Source Files\map\super</Filter>
    </ClCompile>
    <ClCompile Include="src\map\super\superGate.c">
      <Filter>Source Files\map\super</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifCache.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifCom.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifCore.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifCut.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifData2.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifDec07.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifDec08.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifDec10.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifDec16.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifDec75.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifDelay.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifDsd.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifLibBox.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifLibLut.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifMan.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifMap.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifMatch2.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifReduce.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifSat.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifSelect.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifSeq.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifTest.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifTime.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifTruth.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifTune.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\if\ifUtil.c">
      <Filter>Source Files\map\if</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapCore.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapGraph.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapLib.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapLiberty.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapMan.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapMatch.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapMerge.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapOutput.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapParse.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapPerm.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapRead.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapRule.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\amap\amapUniq.c">
      <Filter>Source Files\map\amap</Filter>
    </ClCompile>
    <ClCompile Include="src\map\cov\covBuild.c">
      <Filter>Source Files\map\cov</Filter>
    </ClCompile>
    <ClCompile Include="src\map\cov\covCore.c">
      <Filter>Source Files\map\cov</Filter>
    </ClCompile>
    <ClCompile Include="src\map\cov\covMan.c">
      <Filter>Source Files\map\cov</Filter>
    </ClCompile>
    <ClCompile Include="src\map\cov\covMinEsop.c">
      <Filter>Source Files\map\cov</Filter>
    </ClCompile>
    <ClCompile Include="src\map\cov\covMinMan.c">
      <Filter>Source Files\map\cov</Filter>
    </ClCompile>
    <ClCompile Include="src\map\cov\covMinSop.c">
      <Filter>Source Files\map\cov</Filter>
    </ClCompile>
    <ClCompile Include="src\map\cov\covMinUtil.c">
      <Filter>Source Files\map\cov</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\scl.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclBuffer.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclBufSize.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclDnsize.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclLiberty.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclLibScl.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclLibUtil.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclLoad.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclSize.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclUpsize.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\scl\sclUtil.c">
      <Filter>Source Files\map\scl</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpm.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmAbc.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmCore.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmDsd.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmGates.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmLib.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmMan.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmMap.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmMig.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmPre.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmTruth.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\map\mpm\mpmUtil.c">
      <Filter>Source Files\map\mpm</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddAuto.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddCas.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddImage.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddKmap.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddMisc.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddSymm.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddTime.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraBddUnate.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilBitMatrix.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilCanon.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilCube.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilDsd.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilEnum.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilFile.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilMemory.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilMisc.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilPerm.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilPrime.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilProgress.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilReader.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilSupp.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilThresh.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilTruth.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\extra\extraUtilUtil.c">
      <Filter>Source Files\misc\extra</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\st\st.c">
      <Filter>Source Files\misc\st</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\st\stmm.c">
      <Filter>Source Files\misc\st</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvc.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcApi.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcCompare.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcContain.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcCover.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcCube.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcDivide.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcDivisor.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcList.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcLits.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcMan.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcOpAlg.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcOpBool.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcPrint.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcSort.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mvc\mvcUtils.c">
      <Filter>Source Files\misc\mvc</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilBridge.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilCex.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilColor.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilFile.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilIsop.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilMem.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilNam.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilSignal.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\util\utilSort.c">
      <Filter>Source Files\misc\util</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\nm\nmApi.c">
      <Filter>Source Files\misc\nm</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\nm\nmTable.c">
      <Filter>Source Files\misc\nm</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bzlib\blocksort.c">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bzlib\bzlib.c">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bzlib\compress.c">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bzlib\crctable.c">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bzlib\decompress.c">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bzlib\huffman.c">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bzlib\randtable.c">
      <Filter>Source Files\misc\bzlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\adler32.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\compress_.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\crc32.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\deflate.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\gzclose.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\gzlib.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\gzread.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\gzwrite.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\infback.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\inffast.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\inflate.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\inftrees.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\trees.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\uncompr.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\zlib\zutil.c">
      <Filter>Source Files\misc\zlib</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bar\bar.c">
      <Filter>Source Files\misc\bar</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\bbl\bblif.c">
      <Filter>Source Files\misc\bbl</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\mem\mem.c">
      <Filter>Source Files\misc\mem</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\tim\tim.c">
      <Filter>Source Files\misc\tim</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\tim\timBox.c">
      <Filter>Source Files\misc\tim</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\tim\timDump.c">
      <Filter>Source Files\misc\tim</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\tim\timMan.c">
      <Filter>Source Files\misc\tim</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\tim\timTime.c">
      <Filter>Source Files\misc\tim</Filter>
    </ClCompile>
    <ClCompile Include="src\misc\tim\timTrav.c">
      <Filter>Source Files\misc\tim</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopBalance.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopCheck.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopDfs.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopMan.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopMem.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopObj.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopOper.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopTable.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopTruth.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\hop\hopUtil.c">
      <Filter>Source Files\ai\hop</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyBalance.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyCanon.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyCheck.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyCut.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyCutTrav.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyDfs.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyDsd.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyFanout.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyFastMap.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyFraig.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyHaig.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyMan.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyMem.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyMulti.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyObj.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyOper.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyResyn.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyRwr.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivySeq.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyShow.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyTable.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ivy\ivyUtil.c">
      <Filter>Source Files\ai\ivy</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ioa\ioaReadAig.c">
      <Filter>Source Files\ai\ioa</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ioa\ioaUtil.c">
      <Filter>Source Files\ai\ioa</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\ioa\ioaWriteAig.c">
      <Filter>Source Files\ai\ioa</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigCanon.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigCheck.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigCuts.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigDfs.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigDoms.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigDup.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigFact.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigFanout.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigFrames.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigInter.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigJust.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigMan.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigMem.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigMffc.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigObj.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigOper.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigOrder.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigPack.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigPart.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigPartReg.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigPartSat.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigRepr.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigRet.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigRetF.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigScl.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigShow.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigSplit.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigTable.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigTiming.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigTruth.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigTsim.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigUtil.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\aig\aigWin.c">
      <Filter>Source Files\ai\aig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigCone.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigConstr.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigConstr2.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigDual.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigDup.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigInd.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigIoa.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigIso.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigIsoFast.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigIsoSlow.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigMiter.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigOutDec.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigPhase.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigRetFwd.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigRetMin.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigRetStep.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigScl.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigSimFast.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigSimMv.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigSimSeq.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigStrSim.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigSwitch.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigSynch.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigTempor.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigTrans.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\saig\saigWnd.c">
      <Filter>Source Files\ai\saig</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\gia.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaAig.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaAiger.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaAigerExt.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaBalAig.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaBalLut.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaBalMap.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaBidec.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaCCof.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaCex.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaClp.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaCof.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaCone.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaCSat.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaCSatOld.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaCTas.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaDfs.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaDup.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaEmbed.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaEnable.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaEquiv.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaEra.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaEra2.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaFadds.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaFalse.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaFanout.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaForce.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaFrames.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaFront.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaFx.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaGig.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaGlitch.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaHash.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaIf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaIff.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaIso.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaIso2.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaIso3.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaJf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaKf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaLf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaMan.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaMem.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaMf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaMfs.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaMini.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaMuxes.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaNf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaPat.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaPf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaQbf.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaResub.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaRetime.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaScl.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaScript.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaShrink.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaShrink6.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaShrink7.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSim.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSim2.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSort.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSpeedup.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaStg.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaStr.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSupMin.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSweep.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSweeper.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaSwitch.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaTim.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaTis.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaTruth.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaTsim.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\aig\gia\giaUtil.c">
      <Filter>Source Files\ai\gia</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\bdc\bdcCore.c">
      <Filter>Source Files\bool\bdc</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\bdc\bdcDec.c">
      <Filter>Source Files\bool\bdc</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\bdc\bdcSpfd.c">
      <Filter>Source Files\bool\bdc</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\bdc\bdcTable.c">
      <Filter>Source Files\bool\bdc</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\dec\decAbc.c">
      <Filter>Source Files\bool\dec</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\dec\decFactor.c">
      <Filter>Source Files\bool\dec</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\dec\decMan.c">
      <Filter>Source Files\bool\dec</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\dec\decPrint.c">
      <Filter>Source Files\bool\dec</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\dec\decUtil.c">
      <Filter>Source Files\bool\dec</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\cloud.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kit_.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitAig.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitBdd.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitCloud.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitDec.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitDsd.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitFactor.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitGraph.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitHop.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitIsop.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitPerm.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitPla.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitSop.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\kit\kitTruth.c">
      <Filter>Source Files\bool\kit</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\lucky\lucky.c">
      <Filter>Source Files\bool\lucky</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\lucky\luckyFast16.c">
      <Filter>Source Files\bool\lucky</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\lucky\luckyFast6.c">
      <Filter>Source Files\bool\lucky</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\lucky\luckyRead.c">
      <Filter>Source Files\bool\lucky</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\lucky\luckySimple.c">
      <Filter>Source Files\bool\lucky</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\lucky\luckySwap.c">
      <Filter>Source Files\bool\lucky</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\lucky\luckySwapIJ.c">
      <Filter>Source Files\bool\lucky</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\rsb\rsbDec6.c">
      <Filter>Source Files\bool\rsb</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\rsb\rsbMan.c">
      <Filter>Source Files\bool\rsb</Filter>
    </ClCompile>
    <ClCompile Include="src\bool\rpo\rpo.c">
      <Filter>Source Files\bool\rpo</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\bbr\bbrCex.c">
      <Filter>Source Files\prove\bbr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\bbr\bbrImage.c">
      <Filter>Source Files\prove\bbr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\bbr\bbrNtbdd.c">
      <Filter>Source Files\prove\bbr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\bbr\bbrReach.c">
      <Filter>Source Files\prove\bbr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecCec.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecChoice.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecClass.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecCore.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecCorr.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecIso.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecMan.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecPat.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecSeq.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecSolve.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecSplit.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecSweep.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\cec\cecSynth.c">
      <Filter>Source Files\prove\cec</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchAig.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchChoice.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchClass.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchCnf.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchCore.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchMan.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchSat.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchSim.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchSimSat.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\dch\dchSweep.c">
      <Filter>Source Files\prove\dch</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraBmc.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraCec.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraClass.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraClau.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraClaus.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraCnf.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraCore.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraHot.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraImp.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraInd.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraIndVer.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraLcr.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraMan.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraPart.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraSat.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraSec.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fra\fraSim.c">
      <Filter>Source Files\prove\fra</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigApi.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigCanon.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigChoice.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigFanout.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigFeed.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigMan.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigMem.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigNode.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigPrime.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigSat.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigTable.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigUtil.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\fraig\fraigVec.c">
      <Filter>Source Files\prove\fraig</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intCheck.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intContain.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intCore.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intCtrex.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intDup.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intFrames.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intInter.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intM114.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intMan.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\int\intUtil.c">
      <Filter>Source Files\prove\int</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\arenaViolation.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\combination.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\disjunctiveMonotone.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\kLiveConstraints.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\kliveness.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\liveness.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\liveness_sim.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\ltl_parser.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\live\monotone.c">
      <Filter>Source Files\prove\live</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Cluster.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Constr.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Core.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Group.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Hint.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Man.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Matrix.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Pivot.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Reach.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb1Sched.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb2Bad.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb2Core.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb2Driver.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb2Dump.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb2Flow.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb2Image.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb3Image.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb3Nonlin.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb4Cex.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb4Cluster.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb4Image.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb4Map.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb4Nonlin.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\llb\llb4Sweep.c">
      <Filter>Source Files\prove\llb</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrClass.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrCnf.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrCore.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrInv.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrMan.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrSat.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrTsim.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\pdr\pdrUtil.c">
      <Filter>Source Files\prove\pdr</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswAig.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswBmc.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswClass.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswCnf.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswConstr.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswCore.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswDyn.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswFilter.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswIslands.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswLcorr.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswMan.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswPairs.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswPart.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswRarity.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswRarity2.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswSat.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswSemi.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswSim.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswSimSat.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswSweep.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssw\sswUnique.c">
      <Filter>Source Files\prove\ssw</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\abs.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absDup.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absGla.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absGlaOld.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absIter.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absOldCex.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absOldRef.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absOldSat.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absOldSim.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absOut.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absPth.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absRef.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absRefSelect.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absRpm.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absRpmOld.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absUtil.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\abs\absVta.c">
      <Filter>Source Files\prove\abs</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssc\sscClass.c">
      <Filter>Source Files\prove\ssc</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssc\sscCore.c">
      <Filter>Source Files\prove\ssc</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssc\sscSat.c">
      <Filter>Source Files\prove\ssc</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssc\sscSim.c">
      <Filter>Source Files\prove\ssc</Filter>
    </ClCompile>
    <ClCompile Include="src\proof\ssc\sscUtil.c">
      <Filter>Source Files\prove\ssc</Filter>
    </ClCompile>
  </ItemGroup>
</Project>