windows environment
update win64
test ssh2
win environment
modified parsing sentences
modified README
update Logic module
formular
add variables. TODO: formular type
daily update(Oct. 8), editting HyperGraph and Pathfinding modules.
temporary commit
daily commit(Oct. 9), HyperGraph modules
finish dfs hyper graph path finding, not debugged.
update hyper graph & logic data structure
still unsolved: hyper Path finding
Finished HyperGraph and HyperPathFiding modules. Oct. 14th.
Updated HyperGraph and HyperPathFiding modules. Fix a bug.
Daily update Oct. 15th, update evaluation module (with JPL package)
Daily update Oct. 16th. Debugged evaluation module, logical substitution
added.
Daily Update Oct. 17th, modified formula module