diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-26 19:42:25 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-26 19:42:25 +0000 |
commit | 6fdc62f34bb1d04b84dfd628ec16335b8f02385e (patch) | |
tree | 44755057990ad99f6f47904a0201d33c9be18c9c /src/prop/Makefile.am | |
parent | 1ed3b1803bd0a25c56a62d290cd5dcb64c5085ce (diff) |
Global registry of SAT solvers, where they are registered at compile time. The available SAT solvers can be seen with the --show-sat-solvers option.
Diffstat (limited to 'src/prop/Makefile.am')
-rw-r--r-- | src/prop/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/prop/Makefile.am b/src/prop/Makefile.am index c1dc3b828..e505c168e 100644 --- a/src/prop/Makefile.am +++ b/src/prop/Makefile.am @@ -17,7 +17,9 @@ libprop_la_SOURCES = \ cnf_stream.cpp \ sat_solver.h \ sat_solver_factory.h \ - sat_solver_factory.cpp + sat_solver_factory.cpp \ + sat_solver_registry.h \ + sat_solver_registry.cpp SUBDIRS = minisat bvminisat |