Introduce 'application layer' below sat-solver/applayer.
authorKlaus Kaempf <kkaempf@suse.de>
Tue, 12 Feb 2008 17:28:00 +0000 (17:28 +0000)
committerKlaus Kaempf <kkaempf@suse.de>
Tue, 12 Feb 2008 17:28:00 +0000 (17:28 +0000)
commit7a3100addce467fced727af943fb8e799b43594d
tree99a176c83e21a5b44a4de0cc61b6c611bf307030
parentb1d6dd0162d739171229d1a7a5cd17b2d369d718
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.
CMakeLists.txt