Initial import of FNV solver.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-17T23:01:05
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Reuse known solution lengths to prune search space.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-17T23:10:30
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Print solutions in same format as Russ Cox.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-18T00:37:07
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Fix signed/unsigned char conversion issue.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-18T00:44:41
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Add slightly more progress output.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-18T01:28:22
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Switch to CMake build system.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-18T02:38:29
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Add slightly more spacing in output.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-18T02:46:03
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Add a README file about changes to STP for performance.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-18T17:41:47
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Work around STP wide bitvector construction issues.

STP refuses to construct bitvectors wider than an unsigned long long
from an unsigned int, so construct them from a string instead. They both
only need to be zero anyway.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-21T09:24:22
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Move source files into sub-directory.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-22T13:05:11
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Update CMakeLists.txt to check for Boost.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-22T13:19:30
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Add support for detecting STP.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2011-04-22T14:32:59
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Add original STP experiments.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2012-01-10T02:33:39
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Add README file.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2012-09-09T20:17:49
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Add license.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2012-09-09T20:21:02
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver
Update license date.

Monotone-Author: Francis Russell <francis@unchartedbackwaters.co.uk>
Monotone-Date: 2012-09-09T20:21:35
Monotone-Branch: uk.co.unchartedbackwaters.fnv_solver