Less broken define-fun declare-fun
Allow to use CryptoMiniSat4 as an option
Adding files to allow for cryptominisat4 to be used
Don't fall back silently to CMS2, print to stderr before
Fixing type in BBNodeManagerAIG.h

Thanks for @jamesjer for pointing this out

Fixes #117
Fix detection of CryptoMinisat4. A FindCryptoMiniSat4 CMake module
is not needed because cryptominisat4 exports its targets that can
be picked up by using find_package() in config mode.

If the CryptoMiniSat4 cannot be found the user will see a message
like this...

```
CMake Warning at CMakeLists.txt:224 (find_package):
  Could not find a package configuration file provided by "cryptominisat4"
  with any of the following names:

    cryptominisat4Config.cmake
    cryptominisat4-config.cmake

  Add the installation prefix of "cryptominisat4" to CMAKE_PREFIX_PATH or set
  "cryptominisat4_DIR" to a directory containing one of the above files.  If
  "cryptominisat4" provides a separate development package or SDK, be sure it
  has been installed.
```

The user can fix this by setting the cryptominisat4_DIR option
(e.g. cmake -Dcryptominisat4_DIR:STRING=/path/to/cryptominisat4/build).

This should be set the directory containing the ``cryptominisat4Config.cmake``
which is available in CryptoMinisat4's build directory and also on a system
with CryptoMinisat4 installed (usually <prefix>/lib/cmake/cryptominisat4/)
Extra test files, some for recent parsing changes.
Check if cryptominisat4 has been found, not for the DIR

I guess this was a typo and not intentional? I'm not really sure but it
sure looks like a typo :)
Fixing some warnings

It was difficult to sift through all the warnings, this reduces them a
bit
Fixing some compiler warnings
Removing exit(-1) from FatalErrors

I wasn't aware that the spec says that after FatalError we can still
'live' and not die with exit(-1). Sorry for all the warnings generated
Merge pull request #114 from TrevorHansen/master

Less broken define-fun declare-fun
Adding license for CryptoMiniSat4 and indicating it's optional
Merge pull request #115 from msoos/cmsat4-adding

Adding CryptoMiniSat4 support
Fixing signed vs unsigned comparison

We were always going through the for() loop here with int i=0 .. i <
datastruct.size() where .size() is size_t. This commit removes the
warnings.
Number of variables is unsigned that is return by all SAT solvers

No variables is 0. More than one is positive. Negative makes no sense
and no SAT solver returns that number that I know of.

Some SAT solvers (maybe newer ones) might need more than just unsigned
for the number of variables. So I'm making the return value unsigned
long instead of simply unsigned.
Another bunch of unsigned vs signed comparison
This was most probably a bug. Fixing.
Removing unused varaibles
Removing unused variable 'hi' from this function