search

jmdha / FMA

1 stars 0 forks source link

Rewrite the `Refinement` section #71

Closed kris701 closed 4 months ago

kris701 commented 5 months ago

To combine both the precondition generation and selection together