package samples.integer; /**
* Copyright (c) 1999-2014, Ecole des Mines de Nantes
* All rights reserved.
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* * Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* * Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* * Neither the name of the Ecole des Mines de Nantes nor the
* names of its contributors may be used to endorse or promote products
* derived from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
* DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY
* DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
* (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
import org.slf4j.LoggerFactory;
import samples.AbstractProblem;
import solver.Solver;
import solver.constraints.IntConstraintFactory;
import solver.variables.IntVar;
import solver.variables.VariableFactory;
/**
* <b>The famous SEND + MORE = MONEY problem.</b></br>
* The Send More Money Problem consists in finding distinct digits for the letters D, E, M, N, O, R, S, Y
* such that S and M are different from zero (no leading zeros) and the equation SEND + MORE = MONEY is satisfied.
*
* @version 2.0.1</br>
*/
public class SendMoreMoney extends AbstractProblem {
IntVar S, E, N, D, M, O, R, Y;
IntVar[] ALL;
@Override
public void createSolver() {
solver = new Solver("SendMoreMoney");
}
@Override
public void buildModel() {
S = VariableFactory.enumerated("S", 0, 9, solver);
E = VariableFactory.enumerated("E", 0, 9, solver);
N = VariableFactory.enumerated("N", 0, 9, solver);
D = VariableFactory.enumerated("D", 0, 9, solver);
M = VariableFactory.enumerated("M", 0, 9, solver);
O = VariableFactory.enumerated("0", 0, 9, solver);
R = VariableFactory.enumerated("R", 0, 9, solver);
Y = VariableFactory.enumerated("Y", 0, 9, solver);
solver.post(IntConstraintFactory.arithm(S, "!=", 0));
solver.post(IntConstraintFactory.arithm(M, "!=", 0));
solver.post(IntConstraintFactory.alldifferent(new IntVar[]{S, E, N, D, M, O, R, Y}, "BC"));
ALL = new IntVar[]{
S, E, N, D,
M, O, R, E,
M, O, N, E, Y};
int[] COEFFS = new int[]{
1000, 100, 10, 1,
1000, 100, 10, 1,
-10000, -1000, -100, -10, -1
};
solver.post(IntConstraintFactory.scalar(ALL, COEFFS, VariableFactory.fixed(0, solver)));
}
@Override
public void configureSearch() {
}
@Override
public void solve() {
solver.findSolution();
}
@Override
public void prettyOut() {
LoggerFactory.getLogger("bench").info("SEND + MORE = MONEY ");
StringBuilder st = new StringBuilder();
st.append("\t");
for (int i = 0; i < ALL.length; i++) {
st.append(String.format("%s : %d\n\t", ALL[i].getName(), ALL[i].getValue()));
}
LoggerFactory.getLogger("bench").info(st.toString());
}
public static void main(String[] args) {
new SendMoreMoney().execute(args);
}
}