Updating project settings to have simpler include paths.

40 files changed, 86 insertions, 86 deletions

diff --git a/src/proof/bbr/bbr.h b/src/proof/bbr/bbr.h
index 71061759..1db638e8 100644
--- a/src/proof/bbr/bbr.h
+++ b/src/proof/bbr/bbr.h
@@ -27,9 +27,9 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include <stdio.h>
-#include "src/aig/aig/aig.h"
-#include "src/aig/saig/saig.h"
-#include "src/bdd/cudd/cuddInt.h"
+#include "aig/aig/aig.h"
+#include "aig/saig/saig.h"
+#include "bdd/cudd/cuddInt.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///
diff --git a/src/proof/bbr/bbrImage.c b/src/proof/bbr/bbrImage.c
index 23b43169..1ff3d0b6 100644
--- a/src/proof/bbr/bbrImage.c
+++ b/src/proof/bbr/bbrImage.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "bbr.h"
-#include "src/bdd/mtr/mtr.h"
+#include "bdd/mtr/mtr.h"
 
 ABC_NAMESPACE_IMPL_START
  
diff --git a/src/proof/cec/cecCec.c b/src/proof/cec/cecCec.c
index 841b6a0b..30c930a0 100644
--- a/src/proof/cec/cecCec.c
+++ b/src/proof/cec/cecCec.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "cecInt.h"
-#include "src/proof/fra/fra.h"
-#include "src/aig/gia/giaAig.h"
+#include "proof/fra/fra.h"
+#include "aig/gia/giaAig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/cec/cecChoice.c b/src/proof/cec/cecChoice.c
index 05b372f8..b18a545f 100644
--- a/src/proof/cec/cecChoice.c
+++ b/src/proof/cec/cecChoice.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "cecInt.h"
-#include "src/aig/gia/giaAig.h"
-#include "src/proof/dch/dch.h"
+#include "aig/gia/giaAig.h"
+#include "proof/dch/dch.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/cec/cecInt.h b/src/proof/cec/cecInt.h
index 8d9fe472..36ff3483 100644
--- a/src/proof/cec/cecInt.h
+++ b/src/proof/cec/cecInt.h
@@ -26,9 +26,9 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/sat/bsat/satSolver.h"
-#include "src/misc/bar/bar.h"
-#include "src/aig/gia/gia.h"
+#include "sat/bsat/satSolver.h"
+#include "misc/bar/bar.h"
+#include "aig/gia/gia.h"
 #include "cec.h"
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/proof/cec/cecSynth.c b/src/proof/cec/cecSynth.c
index b13b5204..6fc991a8 100644
--- a/src/proof/cec/cecSynth.c
+++ b/src/proof/cec/cecSynth.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "cecInt.h"
-#include "src/aig/gia/giaAig.h"
+#include "aig/gia/giaAig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/dch/dchInt.h b/src/proof/dch/dchInt.h
index b22834cf..05f4271d 100644
--- a/src/proof/dch/dchInt.h
+++ b/src/proof/dch/dchInt.h
@@ -26,8 +26,8 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/aig/aig/aig.h"
-#include "src/sat/bsat/satSolver.h"
+#include "aig/aig/aig.h"
+#include "sat/bsat/satSolver.h"
 #include "dch.h"
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/proof/dch/dchSweep.c b/src/proof/dch/dchSweep.c
index dafab06e..f807b638 100644
--- a/src/proof/dch/dchSweep.c
+++ b/src/proof/dch/dchSweep.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "dchInt.h"
-#include "src/misc/bar/bar.h"
+#include "misc/bar/bar.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fra.h b/src/proof/fra/fra.h
index c1dd6b44..922a3c47 100644
--- a/src/proof/fra/fra.h
+++ b/src/proof/fra/fra.h
@@ -31,11 +31,11 @@
 #include <string.h>
 #include <assert.h>
 
-#include "src/misc/vec/vec.h"
-#include "src/aig/aig/aig.h"
-#include "src/opt/dar/dar.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/aig/ioa/ioa.h"
+#include "misc/vec/vec.h"
+#include "aig/aig/aig.h"
+#include "opt/dar/dar.h"
+#include "sat/bsat/satSolver.h"
+#include "aig/ioa/ioa.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///
diff --git a/src/proof/fra/fraCec.c b/src/proof/fra/fraCec.c
index 20805ec2..f1f15155 100644
--- a/src/proof/fra/fraCec.c
+++ b/src/proof/fra/fraCec.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver2.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver2.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraClau.c b/src/proof/fra/fraClau.c
index 6c692afa..a2db1e65 100644
--- a/src/proof/fra/fraClau.c
+++ b/src/proof/fra/fraClau.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraClaus.c b/src/proof/fra/fraClaus.c
index 97ac3e40..95ab0c99 100644
--- a/src/proof/fra/fraClaus.c
+++ b/src/proof/fra/fraClaus.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraInd.c b/src/proof/fra/fraInd.c
index 0c7134aa..e0a54a4e 100644
--- a/src/proof/fra/fraInd.c
+++ b/src/proof/fra/fraInd.c
@@ -19,9 +19,9 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/opt/dar/dar.h"
-#include "src/aig/saig/saig.h"
+#include "sat/cnf/cnf.h"
+#include "opt/dar/dar.h"
+#include "aig/saig/saig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraIndVer.c b/src/proof/fra/fraIndVer.c
index 099256ac..26b64647 100644
--- a/src/proof/fra/fraIndVer.c
+++ b/src/proof/fra/fraIndVer.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/sat/cnf/cnf.h"
+#include "sat/cnf/cnf.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraSec.c b/src/proof/fra/fraSec.c
index ac6cd67e..c43fc4dd 100644
--- a/src/proof/fra/fraSec.c
+++ b/src/proof/fra/fraSec.c
@@ -19,12 +19,12 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/aig/ioa/ioa.h"
-#include "src/proof/int/int.h"
-#include "src/proof/ssw/ssw.h"
-#include "src/aig/saig/saig.h"
-#include "src/proof/bbr/bbr.h"
-#include "src/proof/pdr/pdr.h"
+#include "aig/ioa/ioa.h"
+#include "proof/int/int.h"
+#include "proof/ssw/ssw.h"
+#include "aig/saig/saig.h"
+#include "proof/bbr/bbr.h"
+#include "proof/pdr/pdr.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fra/fraSim.c b/src/proof/fra/fraSim.c
index 555789e2..76e0a132 100644
--- a/src/proof/fra/fraSim.c
+++ b/src/proof/fra/fraSim.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "fra.h"
-#include "src/aig/saig/saig.h"
+#include "aig/saig/saig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/fraig/fraigInt.h b/src/proof/fraig/fraigInt.h
index 1ff8727e..bcd745d1 100644
--- a/src/proof/fraig/fraigInt.h
+++ b/src/proof/fraig/fraigInt.h
@@ -29,9 +29,9 @@
 #include <string.h>
 #include <assert.h>
 
-#include "src/misc/util/abc_global.h"
+#include "misc/util/abc_global.h"
 #include "fraig.h"
-#include "src/sat/msat/msat.h"
+#include "sat/msat/msat.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/proof/fraig/fraigSat.c b/src/proof/fraig/fraigSat.c
index 7a11c072..fb3f1fec 100644
--- a/src/proof/fraig/fraigSat.c
+++ b/src/proof/fraig/fraigSat.c
@@ -18,7 +18,7 @@
 
 #include <math.h>
 #include "fraigInt.h"
-#include "src/sat/msat/msatInt.h"
+#include "sat/msat/msatInt.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/int/intContain.c b/src/proof/int/intContain.c
index a031c7a4..8ed6624d 100644
--- a/src/proof/int/intContain.c
+++ b/src/proof/int/intContain.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/proof/fra/fra.h"
+#include "proof/fra/fra.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -245,7 +245,7 @@ int Inter_ManCheckInductiveContainment( Aig_Man_t * pTrans, Aig_Man_t * pInter,
 }
 ABC_NAMESPACE_IMPL_END
 
-#include "src/proof/fra/fra.h"
+#include "proof/fra/fra.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/int/intCtrex.c b/src/proof/int/intCtrex.c
index 840ae75d..9b2946e9 100644
--- a/src/proof/int/intCtrex.c
+++ b/src/proof/int/intCtrex.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/proof/ssw/ssw.h"
+#include "proof/ssw/ssw.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/int/intInt.h b/src/proof/int/intInt.h
index ec2a0356..b7f7a2a7 100644
--- a/src/proof/int/intInt.h
+++ b/src/proof/int/intInt.h
@@ -26,10 +26,10 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/aig/saig/saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/sat/bsat/satStore.h"
+#include "aig/saig/saig.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "sat/bsat/satStore.h"
 #include "int.h"
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/proof/int/intM114p.c b/src/proof/int/intM114p.c
index ad1ff61d..4f27ee82 100644
--- a/src/proof/int/intM114p.c
+++ b/src/proof/int/intM114p.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/sat/psat/m114p.h"
+#include "sat/psat/m114p.h"
 
 #ifdef ABC_USE_LIBRARIES
 
diff --git a/src/proof/int/intMan.c b/src/proof/int/intMan.c
index 6fd81d7a..e419da86 100644
--- a/src/proof/int/intMan.c
+++ b/src/proof/int/intMan.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "intInt.h"
-#include "src/aig/ioa/ioa.h"
+#include "aig/ioa/ioa.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/live/liveness.c b/src/proof/live/liveness.c
index 654e1d68..1c4d31df 100644
--- a/src/proof/live/liveness.c
+++ b/src/proof/live/liveness.c
@@ -19,11 +19,11 @@
 ***********************************************************************/
 
 #include <stdio.h>
-#include "src/base/main/main.h"
-#include "src/aig/aig/aig.h"
-#include "src/aig/saig/saig.h"
+#include "base/main/main.h"
+#include "aig/aig/aig.h"
+#include "aig/saig/saig.h"
 #include <string.h>
-#include "src/base/main/mainInt.h"
+#include "base/main/mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/live/liveness_sim.c b/src/proof/live/liveness_sim.c
index f1ad794a..3a05ebf7 100644
--- a/src/proof/live/liveness_sim.c
+++ b/src/proof/live/liveness_sim.c
@@ -19,9 +19,9 @@
 ***********************************************************************/
 
 #include <stdio.h>
-#include "src/base/main/main.h"
-#include "src/aig/aig/aig.h"
-#include "src/aig/saig/saig.h"
+#include "base/main/main.h"
+#include "aig/aig/aig.h"
+#include "aig/saig/saig.h"
 #include <string.h>
 
 ABC_NAMESPACE_IMPL_START
diff --git a/src/proof/live/ltl_parser.c b/src/proof/live/ltl_parser.c
index de567576..36d109cc 100644
--- a/src/proof/live/ltl_parser.c
+++ b/src/proof/live/ltl_parser.c
@@ -22,9 +22,9 @@
 #include <string.h>
 #include <assert.h>
 #include <stdlib.h>
-#include "src/aig/aig/aig.h"
-#include "src/base/abc/abc.h"
-#include "src/base/main/mainInt.h"
+#include "aig/aig/aig.h"
+#include "base/abc/abc.h"
+#include "base/main/mainInt.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/llb/llb1Core.c b/src/proof/llb/llb1Core.c
index b16fdee7..3aa7a6e5 100644
--- a/src/proof/llb/llb1Core.c
+++ b/src/proof/llb/llb1Core.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "llbInt.h"
-#include "src/aig/gia/gia.h"
-#include "src/aig/gia/giaAig.h"
+#include "aig/gia/gia.h"
+#include "aig/gia/giaAig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/llb/llb4Cex.c b/src/proof/llb/llb4Cex.c
index b5bdb36e..c676b76e 100644
--- a/src/proof/llb/llb4Cex.c
+++ b/src/proof/llb/llb4Cex.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "llbInt.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
 
 ABC_NAMESPACE_IMPL_START
  
diff --git a/src/proof/llb/llb4Map.c b/src/proof/llb/llb4Map.c
index b1442699..51f1fec6 100644
--- a/src/proof/llb/llb4Map.c
+++ b/src/proof/llb/llb4Map.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "llbInt.h"
-#include "src/base/abc/abc.h"
-#include "src/map/if/if.h"
+#include "base/abc/abc.h"
+#include "map/if/if.h"
 
 ABC_NAMESPACE_IMPL_START
  
diff --git a/src/proof/llb/llbInt.h b/src/proof/llb/llbInt.h
index 58e2b543..208d291c 100644
--- a/src/proof/llb/llbInt.h
+++ b/src/proof/llb/llbInt.h
@@ -27,10 +27,10 @@
 ////////////////////////////////////////////////////////////////////////
 
 #include <stdio.h>
-#include "src/aig/aig/aig.h"
-#include "src/aig/saig/saig.h"
-#include "src/proof/ssw/ssw.h"
-#include "src/misc/extra/extraBdd.h"
+#include "aig/aig/aig.h"
+#include "aig/saig/saig.h"
+#include "proof/ssw/ssw.h"
+#include "misc/extra/extraBdd.h"
 #include "llb.h"
 
 ////////////////////////////////////////////////////////////////////////
diff --git a/src/proof/pdr/pdrInt.h b/src/proof/pdr/pdrInt.h
index a1432e6c..f24cb81d 100644
--- a/src/proof/pdr/pdrInt.h
+++ b/src/proof/pdr/pdrInt.h
@@ -25,9 +25,9 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/aig/saig/saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
+#include "aig/saig/saig.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
 #include "pdr.h" 
 
 ABC_NAMESPACE_HEADER_START
diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c
index f9b4a55d..4b096e1b 100644
--- a/src/proof/pdr/pdrInv.c
+++ b/src/proof/pdr/pdrInv.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "pdrInt.h"
-#include "src/base/abc/abc.h"      // for Abc_NtkCollectCioNames()
-#include "src/base/main/main.h"    // for Abc_FrameReadGlobalFrame()
+#include "base/abc/abc.h"      // for Abc_NtkCollectCioNames()
+#include "base/main/main.h"    // for Abc_FrameReadGlobalFrame()
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/ssw/sswConstr.c b/src/proof/ssw/sswConstr.c
index 5459aa72..2612191d 100644
--- a/src/proof/ssw/sswConstr.c
+++ b/src/proof/ssw/sswConstr.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "sswInt.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/misc/bar/bar.h"
+#include "sat/cnf/cnf.h"
+#include "misc/bar/bar.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/ssw/sswDyn.c b/src/proof/ssw/sswDyn.c
index 760f457a..96f1315b 100644
--- a/src/proof/ssw/sswDyn.c
+++ b/src/proof/ssw/sswDyn.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "sswInt.h"
-#include "src/misc/bar/bar.h"
+#include "misc/bar/bar.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/ssw/sswFilter.c b/src/proof/ssw/sswFilter.c
index 3fff79bb..047e2201 100644
--- a/src/proof/ssw/sswFilter.c
+++ b/src/proof/ssw/sswFilter.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "sswInt.h"
-#include "src/aig/gia/giaAig.h"
+#include "aig/gia/giaAig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/ssw/sswInt.h b/src/proof/ssw/sswInt.h
index 8749cec1..1edf2087 100644
--- a/src/proof/ssw/sswInt.h
+++ b/src/proof/ssw/sswInt.h
@@ -26,10 +26,10 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/aig/saig/saig.h"
-#include "src/sat/bsat/satSolver.h"
+#include "aig/saig/saig.h"
+#include "sat/bsat/satSolver.h"
 #include "ssw.h"
-#include "src/aig/ioa/ioa.h"
+#include "aig/ioa/ioa.h"
 
 ////////////////////////////////////////////////////////////////////////
 ///                         PARAMETERS                               ///
diff --git a/src/proof/ssw/sswPart.c b/src/proof/ssw/sswPart.c
index 22340779..78ddbc5c 100644
--- a/src/proof/ssw/sswPart.c
+++ b/src/proof/ssw/sswPart.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "sswInt.h"
-#include "src/aig/ioa/ioa.h"
+#include "aig/ioa/ioa.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/ssw/sswRarity.c b/src/proof/ssw/sswRarity.c
index 7048927f..01715e7d 100644
--- a/src/proof/ssw/sswRarity.c
+++ b/src/proof/ssw/sswRarity.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "sswInt.h"
-#include "src/aig/gia/giaAig.h"
-#include "src/base/main/main.h"
+#include "aig/gia/giaAig.h"
+#include "base/main/main.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/ssw/sswRarity2.c b/src/proof/ssw/sswRarity2.c
index 1d93de60..6a67dea6 100644
--- a/src/proof/ssw/sswRarity2.c
+++ b/src/proof/ssw/sswRarity2.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "sswInt.h"
-#include "src/aig/gia/giaAig.h"
+#include "aig/gia/giaAig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/proof/ssw/sswSweep.c b/src/proof/ssw/sswSweep.c
index ab6952a2..b4ff44c2 100644
--- a/src/proof/ssw/sswSweep.c
+++ b/src/proof/ssw/sswSweep.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "sswInt.h"
-#include "src/misc/bar/bar.h"
+#include "misc/bar/bar.h"
 
 ABC_NAMESPACE_IMPL_START