Introduce 'application layer' below sat-solver/applayer.

Primarily for the SWIG bindings, this layer makes using sat-solver a
bit easier by abstracting from sat-solver internals to more
application specific objects.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 92ea5c7..2636346 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -105,6 +105,7 @@ set ( CMAKE_C_FLAGS_DEBUG     "${CMAKE_C_FLAGS} -g3 -O0" )
 
 ADD_SUBDIRECTORY(src)
 ADD_SUBDIRECTORY(tools)
+ADD_SUBDIRECTORY(applayer)
 
 IF( EXISTS "${CMAKE_SOURCE_DIR}/testsuite" )
   ADD_SUBDIRECTORY(testsuite)