swh:1:snp:5c81b35c32cd128e955f4da753d99c09557a4451
Tip revision: 7e149916f56918f135b5259c3fb0b3f7119f8d07 authored by Lonca Emmanuel on 24 March 2021, 14:04:19 UTC
bumped version number to 3.0.3-dev
bumped version number to 3.0.3-dev
Tip revision: 7e14991
StableEncodingSatProblemReducer.cc
#include "StableEncodingSatProblemReducer.h"
using namespace CoQuiAAS;
StableEncodingSatProblemReducer::StableEncodingSatProblemReducer(VarMap& initVarMap, Attacks& initAttacks): SatProblemReducer(initVarMap, initAttacks) {}
void StableEncodingSatProblemReducer::init() {
SatEncodingHelper helper(this->slv, this->initAttacks, this->initVarMap);
helper.createStableEncodingConstraints();
}