Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 166 Bytes

README.md

File metadata and controls

3 lines (2 loc) · 166 Bytes

Example used in the paper "Rewriting Idiomatically-Stated Conjectures Into Boolean Formulas."

For detailed instructions on how to run the example, see INSTRUCTIONS.