Package org.jacop.examples.fd
Class BasicLogicPascal
- java.lang.Object
-
- org.jacop.examples.fd.ExampleFD
-
- org.jacop.examples.fd.BasicLogicPascal
-
public class BasicLogicPascal extends ExampleFD
It solves an arithmetic puzzle BASIC+LOGIC=PASCAL.- Version:
- 4.7
Find for the equation on the left what digits are represented by the letters different letters represent different digits
BASIC 9567 +LOGIC=======> +1085 PASCAL 10652
-
-
Constructor Summary
Constructors Constructor Description BasicLogicPascal()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
It executes the program to solve this puzzle.void
model()
It specifies a standard way of modeling the problem.-
Methods inherited from class org.jacop.examples.fd.ExampleFD
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
-
-
-
-
Method Detail
-
model
public void model()
Description copied from class:ExampleFD
It specifies a standard way of modeling the problem.
-
main
public static void main(java.lang.String[] args)
It executes the program to solve this puzzle.- Parameters:
args
- no arguments are read.
-
-