(library
 (name core)
 (wrapped false)
 (modules store sexp syntax machine layout solver engine view)
 (libraries unix))

(executable
 (name main)
 (public_name reorder)
 (modules main)
 (libraries core unix))

(test
 (name check)
 (modules check)
 (libraries core unix)
 (deps (glob_files cases/*.sexp) (glob_files smt/*.smt2)))