from meeting

26 files changed, 0 insertions, 0 deletions

diff --git a/src/core/context.h b/src/context/context.h
index fce2f0b8d..fce2f0b8d 100644
--- a/src/core/context.h
+++ b/src/context/context.h
diff --git a/src/sat/Makefile.am b/src/prop/Makefile.am
index 5051420a2..5051420a2 100644
--- a/src/sat/Makefile.am
+++ b/src/prop/Makefile.am
diff --git a/src/sat/README.minisat b/src/prop/README.minisat
index 128581c23..128581c23 100644
--- a/src/sat/README.minisat
+++ b/src/prop/README.minisat
diff --git a/src/sat/minisat/LICENSE b/src/prop/minisat/LICENSE
index c87a32731..c87a32731 100644
--- a/src/sat/minisat/LICENSE
+++ b/src/prop/minisat/LICENSE
diff --git a/src/sat/minisat/Makefile.am b/src/prop/minisat/Makefile.am
index 74d72d48d..74d72d48d 100644
--- a/src/sat/minisat/Makefile.am
+++ b/src/prop/minisat/Makefile.am
diff --git a/src/sat/minisat/README b/src/prop/minisat/README
index e1b79329b..e1b79329b 100644
--- a/src/sat/minisat/README
+++ b/src/prop/minisat/README
diff --git a/src/sat/minisat/core/Main.C b/src/prop/minisat/core/Main.C
index acef32cd5..acef32cd5 100644
--- a/src/sat/minisat/core/Main.C
+++ b/src/prop/minisat/core/Main.C
diff --git a/src/sat/minisat/core/Makefile b/src/prop/minisat/core/Makefile
index 42128c6d6..42128c6d6 100644
--- a/src/sat/minisat/core/Makefile
+++ b/src/prop/minisat/core/Makefile
diff --git a/src/sat/minisat/core/Solver.C b/src/prop/minisat/core/Solver.C
index d7a7bf8e1..d7a7bf8e1 100644
--- a/src/sat/minisat/core/Solver.C
+++ b/src/prop/minisat/core/Solver.C
diff --git a/src/sat/minisat/core/Solver.h b/src/prop/minisat/core/Solver.h
index e53cefc24..e53cefc24 100644
--- a/src/sat/minisat/core/Solver.h
+++ b/src/prop/minisat/core/Solver.h
diff --git a/src/sat/minisat/core/SolverTypes.h b/src/prop/minisat/core/SolverTypes.h
index 55e6d75fd..55e6d75fd 100644
--- a/src/sat/minisat/core/SolverTypes.h
+++ b/src/prop/minisat/core/SolverTypes.h
diff --git a/src/sat/minisat/mtl/Alg.h b/src/prop/minisat/mtl/Alg.h
index a4ca4403b..a4ca4403b 100644
--- a/src/sat/minisat/mtl/Alg.h
+++ b/src/prop/minisat/mtl/Alg.h
diff --git a/src/sat/minisat/mtl/BasicHeap.h b/src/prop/minisat/mtl/BasicHeap.h
index b22a35ada..b22a35ada 100644
--- a/src/sat/minisat/mtl/BasicHeap.h
+++ b/src/prop/minisat/mtl/BasicHeap.h
diff --git a/src/sat/minisat/mtl/BoxedVec.h b/src/prop/minisat/mtl/BoxedVec.h
index 7c5b10e4c..7c5b10e4c 100644
--- a/src/sat/minisat/mtl/BoxedVec.h
+++ b/src/prop/minisat/mtl/BoxedVec.h
diff --git a/src/sat/minisat/mtl/Heap.h b/src/prop/minisat/mtl/Heap.h
index 84234705c..84234705c 100644
--- a/src/sat/minisat/mtl/Heap.h
+++ b/src/prop/minisat/mtl/Heap.h
diff --git a/src/sat/minisat/mtl/Map.h b/src/prop/minisat/mtl/Map.h
index f69fca6d5..f69fca6d5 100644
--- a/src/sat/minisat/mtl/Map.h
+++ b/src/prop/minisat/mtl/Map.h
diff --git a/src/sat/minisat/mtl/Queue.h b/src/prop/minisat/mtl/Queue.h
index e4e7e2159..e4e7e2159 100644
--- a/src/sat/minisat/mtl/Queue.h
+++ b/src/prop/minisat/mtl/Queue.h
diff --git a/src/sat/minisat/mtl/Sort.h b/src/prop/minisat/mtl/Sort.h
index df5261a06..df5261a06 100644
--- a/src/sat/minisat/mtl/Sort.h
+++ b/src/prop/minisat/mtl/Sort.h
diff --git a/src/sat/minisat/mtl/Vec.h b/src/prop/minisat/mtl/Vec.h
index 1a07cc334..1a07cc334 100644
--- a/src/sat/minisat/mtl/Vec.h
+++ b/src/prop/minisat/mtl/Vec.h
diff --git a/src/sat/minisat/mtl/template.mk b/src/prop/minisat/mtl/template.mk
index 15f023fb3..15f023fb3 100644
--- a/src/sat/minisat/mtl/template.mk
+++ b/src/prop/minisat/mtl/template.mk
diff --git a/src/sat/minisat/simp/Main.C b/src/prop/minisat/simp/Main.C
index b6d194631..b6d194631 100644
--- a/src/sat/minisat/simp/Main.C
+++ b/src/prop/minisat/simp/Main.C
diff --git a/src/sat/minisat/simp/Makefile b/src/prop/minisat/simp/Makefile
index a1db4951b..a1db4951b 100644
--- a/src/sat/minisat/simp/Makefile
+++ b/src/prop/minisat/simp/Makefile
diff --git a/src/sat/minisat/simp/SimpSolver.C b/src/prop/minisat/simp/SimpSolver.C
index 14b64b555..14b64b555 100644
--- a/src/sat/minisat/simp/SimpSolver.C
+++ b/src/prop/minisat/simp/SimpSolver.C
diff --git a/src/sat/minisat/simp/SimpSolver.h b/src/prop/minisat/simp/SimpSolver.h
index 221b4c6e2..221b4c6e2 100644
--- a/src/sat/minisat/simp/SimpSolver.h
+++ b/src/prop/minisat/simp/SimpSolver.h
diff --git a/src/core/theory.h b/src/theory/theory.h
index eeaba58d1..eeaba58d1 100644
--- a/src/core/theory.h
+++ b/src/theory/theory.h
diff --git a/src/core/theory_engine.h b/src/theory/theory_engine.h
index 2a0841d8d..2a0841d8d 100644
--- a/src/core/theory_engine.h
+++ b/src/theory/theory_engine.h