== ACKNOWLEDGEMENTS ==

The basic project template is based on: "cpp-project-template" by
Michael Aaron Safyan (http://code.google.com/p/cpp-project-template/)

reHC-* incorporates the following SAT solvers:
- [CryptoMiniSat](http://gitorious.org/cryptominisat) version 2.9.1 by
  Mate Soos, which is distributed under the GNU General Public License
  version 3;
- [MiniSat](http://www.minisat.se/MiniSat.html) version 2.2.0 by Niklas
  Een and Niklas Sorensson, which is distributed under the MIT license.

For extracting source version information from git repository tags,
reHC-* uses [autorevision](https://github.com/Autorevision/autorevision)
by dak180 and others, which is distributed under the MIT license.

reHC-* was previously known as ZRHC-*.
