1 /*++
2 Copyright (c) 2014 Microsoft Corporation
3 
4 Module Name:
5 
6     wmax.h
7 
8 Abstract:
9 
10     Theory Solver based MaxSAT.
11 
12 Author:
13 
14     Nikolaj Bjorner (nbjorner) 2014-4-17
15 
16 Notes:
17 
18 --*/
19 
20 #pragma once
21 
22 #include "opt/maxsmt.h"
23 
24 namespace opt {
25     maxsmt_solver_base* mk_wmax(maxsat_context& c, weights_t & ws, expr_ref_vector const& soft);
26 
27     maxsmt_solver_base* mk_sortmax(maxsat_context& c, weights_t & ws, expr_ref_vector const& soft);
28 
29 }
30