data61 / PSL

Other
65 stars 9 forks source link

Abduction: Shared_State for template-based conjecturing. #210

Closed yutakang closed 1 year ago

yutakang commented 1 year ago

We should cache the results for template-based conjecturing.

The look-up table should allow us to look up for a list of conjectures from a term.

yutakang commented 1 year ago

This has been done. See, for example, 38c17e3f6fe6256d572fdb3d7cef34a0fc8226eb.