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
17
18

#ifndef MAXPP_PREPROCESSEDINSTANCE_HPP
#define MAXPP_PREPROCESSEDINSTANCE_HPP

#include <vector>
#include <iostream>
#include <cstdint>

namespace maxPreprocessor {
class PreprocessedInstance {
public:
	std::vector<std::vector<int> > clauses;
	std::vector<int> clause_cids;
	std::vector<std::vector<uint64_t> > weightsv;
	std::vector<uint64_t> weights;
	std::vector<std::pair<int, std::vector<uint64_t> > > labels;
};
}
#endif