Revised definition of pg::proof_graph_t.
Add a manual for lp_solve.
Revised definition of pg::proof_graph_t.
Revised definition of pg::proof_graph_t.
Implemented lhs::basic_lhs_enumerator_t.
Moved setting/ to conf/.
Implemented some function of knowledge_base_t::reachable_matrix_t.
Revised the format of printing latent hypotheses set.
Replaced -s option to -l option.
Updated the toy problem.