Updating project settings to have simpler include paths.

28 files changed, 59 insertions, 59 deletions

diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h
index 8752082f..ec33b3eb 100644
--- a/src/aig/saig/saig.h
+++ b/src/aig/saig/saig.h
@@ -26,8 +26,8 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include "src/aig/aig/aig.h"
-#include "src/aig/gia/giaAbs.h"
+#include "aig/aig/aig.h"
+#include "aig/gia/giaAbs.h"
 
 ABC_NAMESPACE_HEADER_START
 
diff --git a/src/aig/saig/saigAbsCba.c b/src/aig/saig/saigAbsCba.c
index 5a73a4d0..8f2cafaa 100644
--- a/src/aig/saig/saigAbsCba.c
+++ b/src/aig/saig/saigAbsCba.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/aig/gia/giaAig.h"
-#include "src/aig/ioa/ioa.h"
+#include "aig/gia/giaAig.h"
+#include "aig/ioa/ioa.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigAbsPba.c b/src/aig/saig/saigAbsPba.c
index 9a10edb6..34e1decf 100644
--- a/src/aig/saig/saigAbsPba.c
+++ b/src/aig/saig/saigAbsPba.c
@@ -19,9 +19,9 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/aig/gia/giaAig.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "aig/gia/giaAig.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigAbsStart.c b/src/aig/saig/saigAbsStart.c
index 77517c18..51033dee 100644
--- a/src/aig/saig/saigAbsStart.c
+++ b/src/aig/saig/saigAbsStart.c
@@ -19,10 +19,10 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/ssw/ssw.h"
-#include "src/proof/fra/fra.h"
-#include "src/proof/bbr/bbr.h"
-#include "src/proof/pdr/pdr.h"
+#include "proof/ssw/ssw.h"
+#include "proof/fra/fra.h"
+#include "proof/bbr/bbr.h"
+#include "proof/pdr/pdr.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigAbsVfa.c b/src/aig/saig/saigAbsVfa.c
index e991ac35..2c3ebbff 100644
--- a/src/aig/saig/saigAbsVfa.c
+++ b/src/aig/saig/saigAbsVfa.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "saig.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/aig/saig/saigBmc.c b/src/aig/saig/saigBmc.c
index 021ad5d0..f88d3162 100644
--- a/src/aig/saig/saigBmc.c
+++ b/src/aig/saig/saigBmc.c
@@ -19,9 +19,9 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/fra/fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satStore.h"
+#include "proof/fra/fra.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satStore.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -167,7 +167,7 @@ Aig_Man_t * Saig_ManFramesBmcLimit( Aig_Man_t * pAig, int nFrames, int nSizeMax
 
 ABC_NAMESPACE_IMPL_END
 
-#include "src/misc/util/utilMem.h"
+#include "misc/util/utilMem.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigBmc2.c b/src/aig/saig/saigBmc2.c
index 8ff9a7a7..92e701a1 100644
--- a/src/aig/saig/saigBmc2.c
+++ b/src/aig/saig/saigBmc2.c
@@ -19,9 +19,9 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satStore.h"
-#include "src/proof/ssw/ssw.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satStore.h"
+#include "proof/ssw/ssw.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigBmc3.c b/src/aig/saig/saigBmc3.c
index 12e982cc..973112b2 100644
--- a/src/aig/saig/saigBmc3.c
+++ b/src/aig/saig/saigBmc3.c
@@ -19,9 +19,9 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/fra/fra.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satStore.h"
+#include "proof/fra/fra.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satStore.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigCexMin.c b/src/aig/saig/saigCexMin.c
index e50ba4c7..f0fca2c4 100644
--- a/src/aig/saig/saigCexMin.c
+++ b/src/aig/saig/saigCexMin.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/aig/ioa/ioa.h"
+#include "aig/ioa/ioa.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigConstr.c b/src/aig/saig/saigConstr.c
index 6b90f2c1..6c258505 100644
--- a/src/aig/saig/saigConstr.c
+++ b/src/aig/saig/saigConstr.c
@@ -19,10 +19,10 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/bool/kit/kit.h"
-#include "src/aig/ioa/ioa.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "bool/kit/kit.h"
+#include "aig/ioa/ioa.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigConstr2.c b/src/aig/saig/saigConstr2.c
index 85e79e3f..1d842b3c 100644
--- a/src/aig/saig/saigConstr2.c
+++ b/src/aig/saig/saigConstr2.c
@@ -19,10 +19,10 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/bool/kit/kit.h"
-#include "src/misc/bar/bar.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "bool/kit/kit.h"
+#include "misc/bar/bar.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c
index d39ff944..162795b0 100644
--- a/src/aig/saig/saigGlaCba.c
+++ b/src/aig/saig/saigGlaCba.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigGlaPba.c b/src/aig/saig/saigGlaPba.c
index e039ed75..14f47c5c 100644
--- a/src/aig/saig/saigGlaPba.c
+++ b/src/aig/saig/saigGlaPba.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
  
 #include "saig.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/sat/bsat/satStore.h"
+#include "sat/bsat/satSolver.h"
+#include "sat/bsat/satStore.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigGlaPba2.c b/src/aig/saig/saigGlaPba2.c
index 42850e01..5e745f4c 100644
--- a/src/aig/saig/saigGlaPba2.c
+++ b/src/aig/saig/saigGlaPba2.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
  
 #include "saig.h"
-#include "src/sat/bsat/satSolver2.h"
+#include "sat/bsat/satSolver2.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigHaig.c b/src/aig/saig/saigHaig.c
index d06dc758..7cb34c5d 100644
--- a/src/aig/saig/saigHaig.c
+++ b/src/aig/saig/saigHaig.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "sat/cnf/cnf.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigInd.c b/src/aig/saig/saigInd.c
index 39ec734a..f9cccae8 100644
--- a/src/aig/saig/saigInd.c
+++ b/src/aig/saig/saigInd.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "saig.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/aig/saig/saigIso.c b/src/aig/saig/saigIso.c
index be97aa74..1c319af7 100644
--- a/src/aig/saig/saigIso.c
+++ b/src/aig/saig/saigIso.c
@@ -18,7 +18,7 @@
 
 ***********************************************************************/
 
-#include "src/aig/ioa/ioa.h"
+#include "aig/ioa/ioa.h"
 #include "saig.h"
 
 ABC_NAMESPACE_IMPL_START
@@ -575,7 +575,7 @@ Aig_Man_t * Saig_ManIsoReduce( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int f
 }
 
 
-#include "src/base/abc/abc.h"
+#include "base/abc/abc.h"
 
 /**Function*************************************************************
 
diff --git a/src/aig/saig/saigMiter.c b/src/aig/saig/saigMiter.c
index f3f6f279..8ebb81dd 100644
--- a/src/aig/saig/saigMiter.c
+++ b/src/aig/saig/saigMiter.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/fra/fra.h"
+#include "proof/fra/fra.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigOutDec.c b/src/aig/saig/saigOutDec.c
index d059a935..13c4ad74 100644
--- a/src/aig/saig/saigOutDec.c
+++ b/src/aig/saig/saigOutDec.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "saig.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/aig/saig/saigRefSat.c b/src/aig/saig/saigRefSat.c
index d99320ce..fc03e182 100644
--- a/src/aig/saig/saigRefSat.c
+++ b/src/aig/saig/saigRefSat.c
@@ -19,8 +19,8 @@
 ***********************************************************************/
 
 #include "saig.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/aig/saig/saigRetMin.c b/src/aig/saig/saigRetMin.c
index 161fce0a..ff3e45df 100644
--- a/src/aig/saig/saigRetMin.c
+++ b/src/aig/saig/saigRetMin.c
@@ -20,10 +20,10 @@
 
 #include "saig.h"
 
-#include "src/opt/nwk/nwk.h"
-#include "src/sat/cnf/cnf.h"
-#include "src/sat/bsat/satSolver.h"
-#include "src/sat/bsat/satStore.h"
+#include "opt/nwk/nwk.h"
+#include "sat/cnf/cnf.h"
+#include "sat/bsat/satSolver.h"
+#include "sat/bsat/satStore.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigSimExt.c b/src/aig/saig/saigSimExt.c
index 36f3d903..1a5ec7e5 100644
--- a/src/aig/saig/saigSimExt.c
+++ b/src/aig/saig/saigSimExt.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/ssw/ssw.h"
+#include "proof/ssw/ssw.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigSimExt2.c b/src/aig/saig/saigSimExt2.c
index 335c4034..ca46c0b3 100644
--- a/src/aig/saig/saigSimExt2.c
+++ b/src/aig/saig/saigSimExt2.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/ssw/ssw.h"
+#include "proof/ssw/ssw.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigSimFast.c b/src/aig/saig/saigSimFast.c
index e54e58ac..6b669eb9 100644
--- a/src/aig/saig/saigSimFast.c
+++ b/src/aig/saig/saigSimFast.c
@@ -20,7 +20,7 @@
 
 #include "saig.h"
 
-#include "src/base/main/main.h"
+#include "base/main/main.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigSimSeq.c b/src/aig/saig/saigSimSeq.c
index ee4085b1..f71b74cb 100644
--- a/src/aig/saig/saigSimSeq.c
+++ b/src/aig/saig/saigSimSeq.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/ssw/ssw.h"
+#include "proof/ssw/ssw.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigStrSim.c b/src/aig/saig/saigStrSim.c
index 2feaba1b..85297abc 100644
--- a/src/aig/saig/saigStrSim.c
+++ b/src/aig/saig/saigStrSim.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/ssw/ssw.h"
+#include "proof/ssw/ssw.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigSwitch.c b/src/aig/saig/saigSwitch.c
index 8f4f962f..b7e6ba8f 100644
--- a/src/aig/saig/saigSwitch.c
+++ b/src/aig/saig/saigSwitch.c
@@ -20,7 +20,7 @@
 
 #include "saig.h"
 
-#include "src/base/main/main.h"
+#include "base/main/main.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/aig/saig/saigTrans.c b/src/aig/saig/saigTrans.c
index 55c9772a..5e7b719b 100644
--- a/src/aig/saig/saigTrans.c
+++ b/src/aig/saig/saigTrans.c
@@ -19,7 +19,7 @@
 ***********************************************************************/
 
 #include "saig.h"
-#include "src/proof/fra/fra.h"
+#include "proof/fra/fra.h"
 
 ABC_NAMESPACE_IMPL_START