/usr/bin/ar qc libsylvan.a  CMakeFiles/sylvan.dir/lace.c.o CMakeFiles/sylvan.dir/sha2.c.o CMakeFiles/sylvan.dir/sylvan_bdd.c.o CMakeFiles/sylvan.dir/sylvan_cache.c.o CMakeFiles/sylvan.dir/sylvan_common.c.o CMakeFiles/sylvan.dir/sylvan_gmp.c.o CMakeFiles/sylvan.dir/sylvan_ldd.c.o CMakeFiles/sylvan.dir/sylvan_mt.c.o CMakeFiles/sylvan.dir/sylvan_mtbdd.c.o CMakeFiles/sylvan.dir/sylvan_obj.cpp.o CMakeFiles/sylvan.dir/sylvan_refs.c.o CMakeFiles/sylvan.dir/sylvan_sl.c.o CMakeFiles/sylvan.dir/sylvan_stats.c.o CMakeFiles/sylvan.dir/sylvan_table.c.o CMakeFiles/sylvan.dir/storm_wrapper.cpp.o CMakeFiles/sylvan.dir/sylvan_storm_rational_function.c.o CMakeFiles/sylvan.dir/sylvan_storm_rational_number.c.o
/usr/bin/ranlib libsylvan.a
