v0.2

Version 0.2. Built-in clausifier, some performance improvements, entirely-new search routine.

v0.1

Initial release. Very similar if not identical to that appearing in CASC-J10.