From 61330b862f7b5565f70e3c1f4d26a8c51a0f534a Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 17 Nov 2009 17:06:57 +0000 Subject: [PATCH] from meeting --- src/{core => context}/context.h | 0 src/{sat => prop}/Makefile.am | 0 src/{sat => prop}/README.minisat | 0 src/{sat => prop}/minisat/LICENSE | 0 src/{sat => prop}/minisat/Makefile.am | 0 src/{sat => prop}/minisat/README | 0 src/{sat => prop}/minisat/core/Main.C | 0 src/{sat => prop}/minisat/core/Makefile | 0 src/{sat => prop}/minisat/core/Solver.C | 0 src/{sat => prop}/minisat/core/Solver.h | 0 src/{sat => prop}/minisat/core/SolverTypes.h | 0 src/{sat => prop}/minisat/mtl/Alg.h | 0 src/{sat => prop}/minisat/mtl/BasicHeap.h | 0 src/{sat => prop}/minisat/mtl/BoxedVec.h | 0 src/{sat => prop}/minisat/mtl/Heap.h | 0 src/{sat => prop}/minisat/mtl/Map.h | 0 src/{sat => prop}/minisat/mtl/Queue.h | 0 src/{sat => prop}/minisat/mtl/Sort.h | 0 src/{sat => prop}/minisat/mtl/Vec.h | 0 src/{sat => prop}/minisat/mtl/template.mk | 0 src/{sat => prop}/minisat/simp/Main.C | 0 src/{sat => prop}/minisat/simp/Makefile | 0 src/{sat => prop}/minisat/simp/SimpSolver.C | 0 src/{sat => prop}/minisat/simp/SimpSolver.h | 0 src/{core => theory}/theory.h | 0 src/{core => theory}/theory_engine.h | 0 26 files changed, 0 insertions(+), 0 deletions(-) rename src/{core => context}/context.h (100%) rename src/{sat => prop}/Makefile.am (100%) rename src/{sat => prop}/README.minisat (100%) rename src/{sat => prop}/minisat/LICENSE (100%) rename src/{sat => prop}/minisat/Makefile.am (100%) rename src/{sat => prop}/minisat/README (100%) rename src/{sat => prop}/minisat/core/Main.C (100%) rename src/{sat => prop}/minisat/core/Makefile (100%) rename src/{sat => prop}/minisat/core/Solver.C (100%) rename src/{sat => prop}/minisat/core/Solver.h (100%) rename src/{sat => prop}/minisat/core/SolverTypes.h (100%) rename src/{sat => prop}/minisat/mtl/Alg.h (100%) rename src/{sat => prop}/minisat/mtl/BasicHeap.h (100%) rename src/{sat => prop}/minisat/mtl/BoxedVec.h (100%) rename src/{sat => prop}/minisat/mtl/Heap.h (100%) rename src/{sat => prop}/minisat/mtl/Map.h (100%) rename src/{sat => prop}/minisat/mtl/Queue.h (100%) rename src/{sat => prop}/minisat/mtl/Sort.h (100%) rename src/{sat => prop}/minisat/mtl/Vec.h (100%) rename src/{sat => prop}/minisat/mtl/template.mk (100%) rename src/{sat => prop}/minisat/simp/Main.C (100%) rename src/{sat => prop}/minisat/simp/Makefile (100%) rename src/{sat => prop}/minisat/simp/SimpSolver.C (100%) rename src/{sat => prop}/minisat/simp/SimpSolver.h (100%) rename src/{core => theory}/theory.h (100%) rename src/{core => theory}/theory_engine.h (100%) diff --git a/src/core/context.h b/src/context/context.h similarity index 100% rename from src/core/context.h rename to src/context/context.h diff --git a/src/sat/Makefile.am b/src/prop/Makefile.am similarity index 100% rename from src/sat/Makefile.am rename to src/prop/Makefile.am diff --git a/src/sat/README.minisat b/src/prop/README.minisat similarity index 100% rename from src/sat/README.minisat rename to src/prop/README.minisat diff --git a/src/sat/minisat/LICENSE b/src/prop/minisat/LICENSE similarity index 100% rename from src/sat/minisat/LICENSE rename to src/prop/minisat/LICENSE diff --git a/src/sat/minisat/Makefile.am b/src/prop/minisat/Makefile.am similarity index 100% rename from src/sat/minisat/Makefile.am rename to src/prop/minisat/Makefile.am diff --git a/src/sat/minisat/README b/src/prop/minisat/README similarity index 100% rename from src/sat/minisat/README rename to src/prop/minisat/README diff --git a/src/sat/minisat/core/Main.C b/src/prop/minisat/core/Main.C similarity index 100% rename from src/sat/minisat/core/Main.C rename to src/prop/minisat/core/Main.C diff --git a/src/sat/minisat/core/Makefile b/src/prop/minisat/core/Makefile similarity index 100% rename from src/sat/minisat/core/Makefile rename to src/prop/minisat/core/Makefile diff --git a/src/sat/minisat/core/Solver.C b/src/prop/minisat/core/Solver.C similarity index 100% rename from src/sat/minisat/core/Solver.C rename to src/prop/minisat/core/Solver.C diff --git a/src/sat/minisat/core/Solver.h b/src/prop/minisat/core/Solver.h similarity index 100% rename from src/sat/minisat/core/Solver.h rename to src/prop/minisat/core/Solver.h diff --git a/src/sat/minisat/core/SolverTypes.h b/src/prop/minisat/core/SolverTypes.h similarity index 100% rename from src/sat/minisat/core/SolverTypes.h rename to src/prop/minisat/core/SolverTypes.h diff --git a/src/sat/minisat/mtl/Alg.h b/src/prop/minisat/mtl/Alg.h similarity index 100% rename from src/sat/minisat/mtl/Alg.h rename to src/prop/minisat/mtl/Alg.h diff --git a/src/sat/minisat/mtl/BasicHeap.h b/src/prop/minisat/mtl/BasicHeap.h similarity index 100% rename from src/sat/minisat/mtl/BasicHeap.h rename to src/prop/minisat/mtl/BasicHeap.h diff --git a/src/sat/minisat/mtl/BoxedVec.h b/src/prop/minisat/mtl/BoxedVec.h similarity index 100% rename from src/sat/minisat/mtl/BoxedVec.h rename to src/prop/minisat/mtl/BoxedVec.h diff --git a/src/sat/minisat/mtl/Heap.h b/src/prop/minisat/mtl/Heap.h similarity index 100% rename from src/sat/minisat/mtl/Heap.h rename to src/prop/minisat/mtl/Heap.h diff --git a/src/sat/minisat/mtl/Map.h b/src/prop/minisat/mtl/Map.h similarity index 100% rename from src/sat/minisat/mtl/Map.h rename to src/prop/minisat/mtl/Map.h diff --git a/src/sat/minisat/mtl/Queue.h b/src/prop/minisat/mtl/Queue.h similarity index 100% rename from src/sat/minisat/mtl/Queue.h rename to src/prop/minisat/mtl/Queue.h diff --git a/src/sat/minisat/mtl/Sort.h b/src/prop/minisat/mtl/Sort.h similarity index 100% rename from src/sat/minisat/mtl/Sort.h rename to src/prop/minisat/mtl/Sort.h diff --git a/src/sat/minisat/mtl/Vec.h b/src/prop/minisat/mtl/Vec.h similarity index 100% rename from src/sat/minisat/mtl/Vec.h rename to src/prop/minisat/mtl/Vec.h diff --git a/src/sat/minisat/mtl/template.mk b/src/prop/minisat/mtl/template.mk similarity index 100% rename from src/sat/minisat/mtl/template.mk rename to src/prop/minisat/mtl/template.mk diff --git a/src/sat/minisat/simp/Main.C b/src/prop/minisat/simp/Main.C similarity index 100% rename from src/sat/minisat/simp/Main.C rename to src/prop/minisat/simp/Main.C diff --git a/src/sat/minisat/simp/Makefile b/src/prop/minisat/simp/Makefile similarity index 100% rename from src/sat/minisat/simp/Makefile rename to src/prop/minisat/simp/Makefile diff --git a/src/sat/minisat/simp/SimpSolver.C b/src/prop/minisat/simp/SimpSolver.C similarity index 100% rename from src/sat/minisat/simp/SimpSolver.C rename to src/prop/minisat/simp/SimpSolver.C diff --git a/src/sat/minisat/simp/SimpSolver.h b/src/prop/minisat/simp/SimpSolver.h similarity index 100% rename from src/sat/minisat/simp/SimpSolver.h rename to src/prop/minisat/simp/SimpSolver.h diff --git a/src/core/theory.h b/src/theory/theory.h similarity index 100% rename from src/core/theory.h rename to src/theory/theory.h diff --git a/src/core/theory_engine.h b/src/theory/theory_engine.h similarity index 100% rename from src/core/theory_engine.h rename to src/theory/theory_engine.h -- 2.30.2