rework output formats - Githubissues

mlb2251 / stitch

A scalable abstraction learning library

MIT License

74 stars 8 forks source link

Closed mlb2251 closed 1 year ago

mlb2251 commented 1 year ago

have the final rewritten stuff easily accessible instead of needing to do .last() with an unwrap_or as you do now
make use_exprs and rewritten_dreamcoder optional bc they blow up file sizes
exact dreamcoder output format modelling?

mlb2251 commented 1 year ago

did the main parts of this here 6edcd258f91e9f353e359b68ef9bd1dbe931198f