Implemented unifying the pattern, to against graph isomorphism problem, make sure the patterns we found are not dupicacted
Implementing (half way) Rebinding Variable Names for sorted pattern according to the order.
Changed the pattern representation.
Finished rebinding variable names for patterns after sorted.
Basic multi-thread layout for pattern miner.
Detect the NaN and Inf values created by the new DeductionFormula, and try to fix #587 (revision formula)
Fix unicode in new revision formula (#587)
Remove the now redundant targets directory
Update testing data for PLN smokes example
Add current output of PLN smokes example with partial input data
Add current output of PLN smokes example with partial input data
Add current output of PLN smokes example with partial input data
Merge pull request #605 from cosmoharrigan/pln

Add interim results from PLN "smokes" test
Randomly choose the starting atom for a thread
If the start atom is a ListLink, try to get another non-listlink atom as starting atom.
Add test for boolean transformations (fails for some reason)
Add TV to input
Fix #545 - remove unused Cython atom add queue - it is not threadsafe and is not used
Merge pull request #612 from cosmoharrigan/remove

Fix #545 - remove unused Cython atom add queue - it is not threadsafe and is not used
Update modules loaded by default. Set more optional modules to optional.