1 /*++
2 Copyright (c) 2014 Microsoft Corporation
3 
4 Module Name:
5 
6     maxsres.h
7 
8 Abstract:
9 
10     MaxRes (weighted) max-sat algorithm by Nina and Bacchus, AAAI 2014.
11 
12 Author:
13 
14     Nikolaj Bjorner (nbjorner) 2014-20-7
15 
16 Notes:
17 
18 --*/
19 
20 #pragma once
21 
22 namespace opt {
23 
24     maxsmt_solver_base* mk_maxres(maxsat_context& c, unsigned id, weights_t & ws, expr_ref_vector const& soft);
25 
26     maxsmt_solver_base* mk_primal_dual_maxres(maxsat_context& c, unsigned id, weights_t & ws, expr_ref_vector const& soft);
27 
28 };
29 
30