maxpre 0.2.5

Rust bindings for the (MO-)MaxSAT preprocessor MaxPre
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#ifndef SATLIKEINTERFACE_HPP
#define SATLIKEINTERFACE_HPP

#include "probleminstance.hpp"
#include "global.hpp"
#include "log.hpp"
#include <vector>
using namespace std;


namespace SatlikeInterface {
	// do satlike search, return true if solution is found and if solution is found, the model is in best_solution
	bool do_search(const maxPreprocessor::ProblemInstance& pi, const vector<bool>& initial_solution, vector<bool>& best_solution, double timeLimit, int objective = 0);
};

#endif