search

data61 / PSL

Other
65 stars 9 forks source link

Abduction: parallel filter of conjecturing #191

Closed yutakang closed 1 year ago

yutakang commented 1 year ago

This part can be run in parallel for each filter.

yutakang commented 1 year ago

Mostly done in b09fab4dcacdca0678502ea438d2265b402c86b4.

I have to move the utility functions to probably in the directory for SeLFiE.