Gave choice for the truth value for adding a link.
Added interface for generate a node for a given grounded value
Added more facts for simple puzzle test.
Added hypothetical links for each state node that is permanent.
Clean up everything after finish planning.
Fixed a small bug when generate BindLink, sometimes it contains duplicate variable nodes.
Fixed an error that assign 0 to hypotheticalLink Handles
Added the current hk team to the Author list
Modified the AtomSpaceUtil::getLatestEvaluationLink to enable it choices to find positive or negative first results.
Enable the inquery interface solving the states that operator is not "=" to get negative EvulationLInks first.
There must be a bug in load scm files, that assigned truth value mean = 0 , will still put into the Atomspace mean = 1
Added "is_different" EvaluationLinks for each pair of features for puzzle test.
Added check if Bindlink disconnected first, if it's, split it into several Bindlinks, and call pattern matcher separately, and then generate all the combinations for each group of Bindlink results. Still need debug.
fixed removing duplicate elements from final combination results for splitted Bindlinks inquery.
Removed "is_different" EvalucationLinks. Back to use real time inquery for is_same state, for reducing the Bindlink combination number.
Added return "known" to check if a state is satisfied a goal. If unsatisifed, known = false, mean it just don't know if it's satisfied based on known info, this goal is still possible to be satisfied.
Fixed few bugs in check precondition fitness.
Fixed a but in checking if a state is stasifed a goal
Made the planner consider when a subgoal is not satisfied by a state  found in temporary state list but not sure it's negative based on known info, then it is still possible to be satisfied.
Added noCoexisenceOtherRules for each rule.the other rules that , once use one of the rules in noCoexisenceOtherRules, should not use this rule