Example used in the paper "Rewriting Idiomatically-Stated Conjectures Into Boolean Formulas."
For detailed instructions on how to run the example, see INSTRUCTIONS.
solswords/fgl-example
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Example used in the paper "Rewriting Idiomatically-Stated Conjectures Into Boolean Formulas."
For detailed instructions on how to run the example, see INSTRUCTIONS.