@Carl Love 

@Joe Riel Hi Joe and thanks for your efforts. I installed Iterator-2-3-2 but I can't find the option "include-change" and the example. can you direct me?

@Carl Love 

@Carl Love 

the answer is at the bottom:

(One of 11)

http://www.mamamia.com.au/social/pisa-results-shows-australias-failing-education-system/

@Carl Love thanks Carl.

Is there a command in your logic package which is the opposite of the NextTo command?

@Carl Love on my worksheet (what a surprise it didn't load,not)  the sixth constaint flumuxed me. u fixed it.

Meeting the Challenge Puzzle

I hope you can help fill in the Con 10,11,20,22 gaps.

lifted from http://www.mathsisfun.com/puzzles/meeting-the-challenge-solution.html

Vars:= [Wife,Husband,Occupation,Car,Color,Brought,Borrowed]:

#its clear owen and Victoria, Irene and Oto, and Pamela must have surnames either swain, kuril or zajac.

Wife:=[Daniella_B,Hannah_H,Veronica_D,Jenny_S,Monica,Victoria,Irene,Pamela]:

Husband:=[Stan_H,Owen,Alex,Mathew,Oto,Robert,Paul,Rick]:

Occupation:= [shop,ware,acc,ticket,docs,teach,agri,shoppers]:

Car:=[fiat,wartburg,trabant,ziguli,moskvic,skoda,renault,dacia]:

Color:= [red,brown,white,pink,green,blue,violet,yellow]:

Brought:=[mul,shed,grand,dame,modern,seadog,slov,mulatka]:

Borrowed:=[mul,grand,dame,we_were_five,modern,slov,mulatka,????]:

Con1:= Daniella_B=shop: Con2:= seadog=fiat,fiat=red: Con3:= Owen=brown,Victoria=brown: Con4:= Stan_H=white,Hannah_H=white: Con5:= Jenny_S=ware:

Con6:= Monica=grand,Alex=grand: Con7:= Mathew=pink: Con8:= Irene=acc,Oto=acc: Con9:=we_were_five=trabant:

Con10:=: Con11:= :

Con12:= Paul=green:Con13:= Veronica_D=blue: Con14:= Rick=slov,Rick=ziguli: Con15:= dame=mulatka: Con16:= dacia=violet: Con17:= teach=dame: Con18:= agri=moskvic:Con19:= Pamela=renault,Pamela=grand:

Con20:= :

Con21:= Robert=yellow,Robert=modern:

Con22:=:

Con23:= modern=skoda:

 read "LogicProblem.mpl";

Couples:= LogicProblem(Vars):

with(Couples);

Satisfy([Con||(1..23)]);

@Carl Love

http://www.mathsisfun.com/puzzles/soccer-problem-solution.html

i can get 4 rows but not all

SoccerLogicProb.mw

@Kitonum I can't say I follow your coding Yuri, but it works fine.

@Kitonum thx. From your solutions, how can the above output be displayed?

@Kitonum Although the question is answered I am hopeful you can fix this code (allocation of sports):

restart;
>  Names:={Alex, Betty, Carol, Dan, Earl, Fay, George, Harry}:
>  A:=combinat[choose](Names, 3):
>  L:=[]:
>  for i in A do
>  B:=combinat[choose](Names minus i, 3);
>  for j in B do
>  L:=[op(L), [i, j, (Names minus i) minus j]];
>  od: od:
> 
> Organization:={seq(op(combinat[permute](L[k])), k=1..nops(L))}:
> 
> Terms:=[not(Dan in Football), not(Dan in Cricket),Alex in Table_Tennis, Carol in Hockey,  not(George in Cricket), not(George in Badminton), not(Harry in Cricket)]:
> 
> Sports:=[]:
>  for variant in Organization do
>  Football:=variant[1]: Cricket:=variant[2]: Table_Tennis:=variant[3]: #Dunno how to account for the other five sports
>  if convert(Terms, `and`) then Sport:=[op(Sports), variant]; fi;
> od:
> 
> op(Sports);

who_works_where.mws

@Carl Love 

i'm trying to use your package to solve this problem, but i didn't really know how to construct the logical arguments properly (constaints).

http://www.mathsisfun.com/puzzles/who-works-where-solution.html

in case the file doesn't upload:

> Vars := [EN, Dept, Sport]

> EN := [alex, betty, carol, dan, earl, fay, george, harry];     

> Dept:= [person,admin,market];                  

> Sport:= [football,cricket,volleyball,badminton,tennis,basketball,hockey,table];

> Satisfy([dan = admin, dan <> football, dan <> cricket, fay = person,

        alex = person, alex = table, earl <> dan, harry <> dan,

        carol = hockey, carol <> market, george <> admin,

        george <> cricket, george <> badminton, harry <> cricket])

D&C_odd.mw

@Joe Riel sorry to bug you. Consider a 5 groups of 4 members. n=5,e=4, no. of partitions >2.5E9. [as a side question, how does that convert to computer time]?

.."split into m and m-1 sets of 4".....anyway I had a go with some sledghammer code but it not right

@Joe Riel for a set of 28, how should I spit them into (ultimately) 7x4?

@Joe Riel thankyou very much.

Is it possible to alter your code so that the partitions are output :

[{1236.0, 1277.0, 1576.0, 1644.0}, {1249.0, 1292.0, 1392.0, 1829.0},{1297.0, 1404.0, 1477.00, 1520.0}, {1313.0, 1325.0, 1477.0, 1594.0}] 

along with their names

[{A14, A16, A2, A4}, {A1, A13, A15, A9}, {A12, A5, A7, A8}, {A10, A11,A3, A6}]?

@Carl Love thanks heaps. It appears I don't have a Maple compiler. Is this how I get it?http://www.maplesoft.com/support/install/maple17_install.html#MapleInstallGuide_CPPCompiler

it looks complicated