1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
/*++ Copyright (c) 2014 Microsoft Corporation Module Name: opt_frontend.h Author: Nikolaj Bjorner (nbjorner) 2014-10-10. --*/ #pragma once enum opt_format { opb_t, wcnf_t, lp_t }; unsigned parse_opt(char const* file_name, opt_format f);