From 92c9403249ba59e5f57b2adb8b8b0141c2c63f26 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 21 Jul 2014 01:01:26 +0200 Subject: Updated minisat --- libs/minisat/Alg.h | 2 +- libs/minisat/Alloc.h | 4 ++-- libs/minisat/Dimacs.h | 4 ++-- libs/minisat/Heap.h | 4 ++-- libs/minisat/IntMap.h | 2 +- libs/minisat/Map.h | 4 ++-- libs/minisat/Options.cc | 6 +++--- libs/minisat/Options.h | 6 +++--- libs/minisat/ParseUtils.h | 2 +- libs/minisat/Queue.h | 2 +- libs/minisat/Rnd.h | 2 +- libs/minisat/SimpSolver.cc | 6 +++--- libs/minisat/SimpSolver.h | 4 ++-- libs/minisat/Solver.cc | 8 ++++---- libs/minisat/Solver.h | 12 ++++++------ libs/minisat/SolverTypes.h | 12 ++++++------ libs/minisat/Sort.h | 2 +- libs/minisat/System.cc | 2 +- libs/minisat/System.h | 2 +- libs/minisat/Vec.h | 4 ++-- 20 files changed, 45 insertions(+), 45 deletions(-) (limited to 'libs') diff --git a/libs/minisat/Alg.h b/libs/minisat/Alg.h index 7f7eac61..ddb972e7 100644 --- a/libs/minisat/Alg.h +++ b/libs/minisat/Alg.h @@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Alg_h #define Minisat_Alg_h -#include "libs/minisat/Vec.h" +#include "Vec.h" namespace Minisat { diff --git a/libs/minisat/Alloc.h b/libs/minisat/Alloc.h index 0de4f07c..6591dcd5 100644 --- a/libs/minisat/Alloc.h +++ b/libs/minisat/Alloc.h @@ -21,8 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Alloc_h #define Minisat_Alloc_h -#include "libs/minisat/XAlloc.h" -#include "libs/minisat/Vec.h" +#include "XAlloc.h" +#include "Vec.h" namespace Minisat { diff --git a/libs/minisat/Dimacs.h b/libs/minisat/Dimacs.h index 383e894b..ccfa1c01 100644 --- a/libs/minisat/Dimacs.h +++ b/libs/minisat/Dimacs.h @@ -23,8 +23,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include -#include "libs/minisat/ParseUtils.h" -#include "libs/minisat/SolverTypes.h" +#include "ParseUtils.h" +#include "SolverTypes.h" namespace Minisat { diff --git a/libs/minisat/Heap.h b/libs/minisat/Heap.h index a7512462..057a3cdf 100644 --- a/libs/minisat/Heap.h +++ b/libs/minisat/Heap.h @@ -21,8 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Heap_h #define Minisat_Heap_h -#include "libs/minisat/Vec.h" -#include "libs/minisat/IntMap.h" +#include "Vec.h" +#include "IntMap.h" namespace Minisat { diff --git a/libs/minisat/IntMap.h b/libs/minisat/IntMap.h index 61dd0f67..9a66315d 100644 --- a/libs/minisat/IntMap.h +++ b/libs/minisat/IntMap.h @@ -19,7 +19,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_IntMap_h #define Minisat_IntMap_h -#include "libs/minisat/Vec.h" +#include "Vec.h" namespace Minisat { diff --git a/libs/minisat/Map.h b/libs/minisat/Map.h index 93b6da31..a6f83200 100644 --- a/libs/minisat/Map.h +++ b/libs/minisat/Map.h @@ -20,8 +20,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Map_h #define Minisat_Map_h -#include "libs/minisat/IntTypes.h" -#include "libs/minisat/Vec.h" +#include "IntTypes.h" +#include "Vec.h" namespace Minisat { diff --git a/libs/minisat/Options.cc b/libs/minisat/Options.cc index b1b3e31b..1aff3fab 100644 --- a/libs/minisat/Options.cc +++ b/libs/minisat/Options.cc @@ -19,9 +19,9 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. **************************************************************************************************/ -#include "libs/minisat/Sort.h" -#include "libs/minisat/Options.h" -#include "libs/minisat/ParseUtils.h" +#include "Sort.h" +#include "Options.h" +#include "ParseUtils.h" using namespace Minisat; diff --git a/libs/minisat/Options.h b/libs/minisat/Options.h index 7d140a1f..d602769c 100644 --- a/libs/minisat/Options.h +++ b/libs/minisat/Options.h @@ -25,9 +25,9 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include #include -#include "libs/minisat/IntTypes.h" -#include "libs/minisat/Vec.h" -#include "libs/minisat/ParseUtils.h" +#include "IntTypes.h" +#include "Vec.h" +#include "ParseUtils.h" namespace Minisat { diff --git a/libs/minisat/ParseUtils.h b/libs/minisat/ParseUtils.h index 7b2ddc55..1c9e7bf7 100644 --- a/libs/minisat/ParseUtils.h +++ b/libs/minisat/ParseUtils.h @@ -26,7 +26,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include -#include "libs/minisat/XAlloc.h" +#include "XAlloc.h" namespace Minisat { diff --git a/libs/minisat/Queue.h b/libs/minisat/Queue.h index 1cae4f5a..5ba50cd2 100644 --- a/libs/minisat/Queue.h +++ b/libs/minisat/Queue.h @@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Queue_h #define Minisat_Queue_h -#include "libs/minisat/Vec.h" +#include "Vec.h" namespace Minisat { diff --git a/libs/minisat/Rnd.h b/libs/minisat/Rnd.h index cf706101..ccb94c6c 100644 --- a/libs/minisat/Rnd.h +++ b/libs/minisat/Rnd.h @@ -19,7 +19,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Rnd_h #define Minisat_Rnd_h -#include "libs/minisat/Vec.h" +#include "Vec.h" namespace Minisat { diff --git a/libs/minisat/SimpSolver.cc b/libs/minisat/SimpSolver.cc index 23236810..fd5774e0 100644 --- a/libs/minisat/SimpSolver.cc +++ b/libs/minisat/SimpSolver.cc @@ -20,9 +20,9 @@ DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. **************************************************************************************************/ -#include "libs/minisat/Sort.h" -#include "libs/minisat/SimpSolver.h" -#include "libs/minisat/System.h" +#include "Sort.h" +#include "SimpSolver.h" +#include "System.h" using namespace Minisat; diff --git a/libs/minisat/SimpSolver.h b/libs/minisat/SimpSolver.h index fc9bb439..76d5aca1 100644 --- a/libs/minisat/SimpSolver.h +++ b/libs/minisat/SimpSolver.h @@ -21,8 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_SimpSolver_h #define Minisat_SimpSolver_h -#include "libs/minisat/Queue.h" -#include "libs/minisat/Solver.h" +#include "Queue.h" +#include "Solver.h" namespace Minisat { diff --git a/libs/minisat/Solver.cc b/libs/minisat/Solver.cc index 14aa3935..ab476853 100644 --- a/libs/minisat/Solver.cc +++ b/libs/minisat/Solver.cc @@ -22,10 +22,10 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include -#include "libs/minisat/Alg.h" -#include "libs/minisat/Sort.h" -#include "libs/minisat/System.h" -#include "libs/minisat/Solver.h" +#include "Alg.h" +#include "Sort.h" +#include "System.h" +#include "Solver.h" using namespace Minisat; diff --git a/libs/minisat/Solver.h b/libs/minisat/Solver.h index 73fc7d4c..62a12f3c 100644 --- a/libs/minisat/Solver.h +++ b/libs/minisat/Solver.h @@ -21,12 +21,12 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Solver_h #define Minisat_Solver_h -#include "libs/minisat/Vec.h" -#include "libs/minisat/Heap.h" -#include "libs/minisat/Alg.h" -#include "libs/minisat/IntMap.h" -#include "libs/minisat/Options.h" -#include "libs/minisat/SolverTypes.h" +#include "Vec.h" +#include "Heap.h" +#include "Alg.h" +#include "IntMap.h" +#include "Options.h" +#include "SolverTypes.h" namespace Minisat { diff --git a/libs/minisat/SolverTypes.h b/libs/minisat/SolverTypes.h index a47c2ce8..a7df5785 100644 --- a/libs/minisat/SolverTypes.h +++ b/libs/minisat/SolverTypes.h @@ -24,12 +24,12 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include -#include "libs/minisat/IntTypes.h" -#include "libs/minisat/Alg.h" -#include "libs/minisat/Vec.h" -#include "libs/minisat/IntMap.h" -#include "libs/minisat/Map.h" -#include "libs/minisat/Alloc.h" +#include "IntTypes.h" +#include "Alg.h" +#include "Vec.h" +#include "IntMap.h" +#include "Map.h" +#include "Alloc.h" namespace Minisat { diff --git a/libs/minisat/Sort.h b/libs/minisat/Sort.h index 4a25a9b4..cc96486d 100644 --- a/libs/minisat/Sort.h +++ b/libs/minisat/Sort.h @@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Sort_h #define Minisat_Sort_h -#include "libs/minisat/Vec.h" +#include "Vec.h" //================================================================================================= // Some sorting algorithms for vec's diff --git a/libs/minisat/System.cc b/libs/minisat/System.cc index df4155af..febe3b40 100644 --- a/libs/minisat/System.cc +++ b/libs/minisat/System.cc @@ -23,7 +23,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include #include -#include "libs/minisat/System.h" +#include "System.h" #if defined(__linux__) diff --git a/libs/minisat/System.h b/libs/minisat/System.h index eb8a7e4d..ee92a6e0 100644 --- a/libs/minisat/System.h +++ b/libs/minisat/System.h @@ -25,7 +25,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include #endif -#include "libs/minisat/IntTypes.h" +#include "IntTypes.h" //------------------------------------------------------------------------------------------------- diff --git a/libs/minisat/Vec.h b/libs/minisat/Vec.h index 2086e0bb..6e398801 100644 --- a/libs/minisat/Vec.h +++ b/libs/minisat/Vec.h @@ -25,8 +25,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include #include -#include "libs/minisat/IntTypes.h" -#include "libs/minisat/XAlloc.h" +#include "IntTypes.h" +#include "XAlloc.h" namespace Minisat { -- cgit v1.2.3