Reorganizing the code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
VeriFIT · Oct 20, 2012 · c66b9ab · c66b9ab
1 parent 8a69979
commit c66b9ab
Show file tree

Hide file tree

Showing 39 changed files with 1 addition and 1 deletion.
diff --git a/mk_make.py b/mk_make.py
@@ -158,4 +158,5 @@ def add_lib(name, deps):
 
 add_lib('util', [])
 add_lib('polynomial', ['util'])
+add_lib('sat', ['util'])
 add_lib('ast', ['util', 'polynomial'])
diff --git a/lib/luby.cpp → src/sat/luby.cpp b/lib/luby.cpp → src/sat/luby.cpp
diff --git a/lib/luby.h → src/sat/luby.h b/lib/luby.h → src/sat/luby.h
diff --git a/lib/sat_asymm_branch.cpp → src/sat/sat_asymm_branch.cpp b/lib/sat_asymm_branch.cpp → src/sat/sat_asymm_branch.cpp
diff --git a/lib/sat_asymm_branch.h → src/sat/sat_asymm_branch.h b/lib/sat_asymm_branch.h → src/sat/sat_asymm_branch.h
diff --git a/lib/sat_clause.cpp → src/sat/sat_clause.cpp b/lib/sat_clause.cpp → src/sat/sat_clause.cpp
diff --git a/lib/sat_clause.h → src/sat/sat_clause.h b/lib/sat_clause.h → src/sat/sat_clause.h
diff --git a/lib/sat_clause_set.cpp → src/sat/sat_clause_set.cpp b/lib/sat_clause_set.cpp → src/sat/sat_clause_set.cpp
diff --git a/lib/sat_clause_set.h → src/sat/sat_clause_set.h b/lib/sat_clause_set.h → src/sat/sat_clause_set.h
diff --git a/lib/sat_clause_use_list.cpp → src/sat/sat_clause_use_list.cpp b/lib/sat_clause_use_list.cpp → src/sat/sat_clause_use_list.cpp
diff --git a/lib/sat_clause_use_list.h → src/sat/sat_clause_use_list.h b/lib/sat_clause_use_list.h → src/sat/sat_clause_use_list.h
diff --git a/lib/sat_cleaner.cpp → src/sat/sat_cleaner.cpp b/lib/sat_cleaner.cpp → src/sat/sat_cleaner.cpp
diff --git a/lib/sat_cleaner.h → src/sat/sat_cleaner.h b/lib/sat_cleaner.h → src/sat/sat_cleaner.h
diff --git a/lib/sat_config.cpp → src/sat/sat_config.cpp b/lib/sat_config.cpp → src/sat/sat_config.cpp
diff --git a/lib/sat_config.h → src/sat/sat_config.h b/lib/sat_config.h → src/sat/sat_config.h
diff --git a/lib/sat_elim_eqs.cpp → src/sat/sat_elim_eqs.cpp b/lib/sat_elim_eqs.cpp → src/sat/sat_elim_eqs.cpp
diff --git a/lib/sat_elim_eqs.h → src/sat/sat_elim_eqs.h b/lib/sat_elim_eqs.h → src/sat/sat_elim_eqs.h
diff --git a/lib/sat_extension.h → src/sat/sat_extension.h b/lib/sat_extension.h → src/sat/sat_extension.h
diff --git a/lib/sat_iff3_finder.cpp → src/sat/sat_iff3_finder.cpp b/lib/sat_iff3_finder.cpp → src/sat/sat_iff3_finder.cpp
diff --git a/lib/sat_iff3_finder.h → src/sat/sat_iff3_finder.h b/lib/sat_iff3_finder.h → src/sat/sat_iff3_finder.h
diff --git a/lib/sat_integrity_checker.cpp → src/sat/sat_integrity_checker.cpp b/lib/sat_integrity_checker.cpp → src/sat/sat_integrity_checker.cpp
diff --git a/lib/sat_integrity_checker.h → src/sat/sat_integrity_checker.h b/lib/sat_integrity_checker.h → src/sat/sat_integrity_checker.h
diff --git a/lib/sat_justification.h → src/sat/sat_justification.h b/lib/sat_justification.h → src/sat/sat_justification.h
diff --git a/lib/sat_model_converter.cpp → src/sat/sat_model_converter.cpp b/lib/sat_model_converter.cpp → src/sat/sat_model_converter.cpp
diff --git a/lib/sat_model_converter.h → src/sat/sat_model_converter.h b/lib/sat_model_converter.h → src/sat/sat_model_converter.h
diff --git a/lib/sat_probing.cpp → src/sat/sat_probing.cpp b/lib/sat_probing.cpp → src/sat/sat_probing.cpp
diff --git a/lib/sat_probing.h → src/sat/sat_probing.h b/lib/sat_probing.h → src/sat/sat_probing.h
diff --git a/lib/sat_scc.cpp → src/sat/sat_scc.cpp b/lib/sat_scc.cpp → src/sat/sat_scc.cpp
diff --git a/lib/sat_scc.h → src/sat/sat_scc.h b/lib/sat_scc.h → src/sat/sat_scc.h
diff --git a/lib/sat_simplifier.cpp → src/sat/sat_simplifier.cpp b/lib/sat_simplifier.cpp → src/sat/sat_simplifier.cpp
diff --git a/lib/sat_simplifier.h → src/sat/sat_simplifier.h b/lib/sat_simplifier.h → src/sat/sat_simplifier.h
diff --git a/lib/sat_solver.cpp → src/sat/sat_solver.cpp b/lib/sat_solver.cpp → src/sat/sat_solver.cpp
@@ -17,7 +17,6 @@ Revision History:
 
 --*/
 #include"sat_solver.h"
-#include"strategy_exception.h"
 #include"sat_integrity_checker.h"
 #include"luby.h"
 #include"trace.h"

diff --git a/lib/sat_solver.h → src/sat/sat_solver.h b/lib/sat_solver.h → src/sat/sat_solver.h
diff --git a/lib/sat_types.h → src/sat/sat_types.h b/lib/sat_types.h → src/sat/sat_types.h
diff --git a/lib/sat_var_queue.h → src/sat/sat_var_queue.h b/lib/sat_var_queue.h → src/sat/sat_var_queue.h
diff --git a/lib/sat_watched.cpp → src/sat/sat_watched.cpp b/lib/sat_watched.cpp → src/sat/sat_watched.cpp
diff --git a/lib/sat_watched.h → src/sat/sat_watched.h b/lib/sat_watched.h → src/sat/sat_watched.h
diff --git a/lib/tactic_exception.cpp → src/util/tactic_exception.cpp b/lib/tactic_exception.cpp → src/util/tactic_exception.cpp
diff --git a/lib/tactic_exception.h → src/util/tactic_exception.h b/lib/tactic_exception.h → src/util/tactic_exception.h