| 1 | (library |
| 2 | (name core) |
| 3 | (wrapped false) |
| 4 | (modules store sexp syntax machine layout solver engine view) |
| 5 | (libraries unix)) |
| 6 | |
| 7 | (executable |
| 8 | (name main) |
| 9 | (public_name reorder) |
| 10 | (modules main) |
| 11 | (libraries core unix)) |
| 12 | |
| 13 | (test |
| 14 | (name check) |
| 15 | (modules check) |
| 16 | (libraries core unix) |
| 17 | (deps (glob_files cases/*.sexp) (glob_files smt/*.smt2))) |