Sharpen the transitive rule
Prints the TruthValues correctly (although some are 0 (rounded maybe))
remove un-needed files
Added new attribute to State: bool permanent; // if it's true, then the value of this state cannot be changed. Only can be changed from or ot UN_DEFINED valuepermanent
Added the new attribute "permanent" the test States if they are permanent.
Separete the sititions that if a state is unknown currently, or it's known but not satisfied.
Save of partial work
more rule simplification
more work on neighbors
More puzzle pieces
Add test for puzzle solution
Fixed clean up context before rolling back to previous step. Modified puzzle testing rules.
Add documentation
Merge pull request #449 from linas/master

Try to set up Einstein puzzle via forward chaining
found a nice way to handle composition
using a different plot setting
Add a supplemental fact
Made OCPlanningAgent wait longer to start.
Modified the embodiment conf file for planner
Merge branch 'master' of https://github.com/opencog/opencog into PlannerIntegration