search

ku-progsys / rbsyn

Program synthesis for Ruby
BSD 3-Clause "New" or "Revised" License
94 stars 4 forks source link

set ordering based on preconditions #25

Open ngsankha opened 4 years ago

ngsankha commented 4 years ago

reorder worklist based on some similarity index with preconditions