Searching for 100 solutions... (press escape to cancel) ----------------- found solution 1: assumptions list: couverte 25000 -------- results: -------- proprietaire: >Cathy: basique 40000 8mois >Cyril: en_l 35000 6mois >Eric: couverte 25000 5mois >Isabelle: circulaire 45000 4mois >Karine: a_vagues 30000 7mois piscine: >basique: Cathy 40000 8mois >en_l: Cyril 35000 6mois >circulaire: Isabelle 45000 4mois >a_vagues: Karine 30000 7mois >couverte: Eric 25000 5mois prix: >25000: Eric couverte 5mois >30000: Karine a_vagues 7mois >35000: Cyril en_l 6mois >40000: Cathy basique 8mois >45000: Isabelle circulaire 4mois duree: >4mois: Isabelle circulaire 45000 >5mois: Eric couverte 25000 >6mois: Cyril en_l 35000 >7mois: Karine a_vagues 30000 >8mois: Cathy basique 40000 ----------------- found solution 2: assumptions list: couverte ! 25000 -------- results: -------- proprietaire: >Cathy: basique 40000 8mois >Cyril: en_l 35000 6mois >Eric: a_vagues 25000 5mois >Isabelle: circulaire 45000 4mois >Karine: couverte 30000 7mois piscine: >basique: Cathy 40000 8mois >en_l: Cyril 35000 6mois >circulaire: Isabelle 45000 4mois >a_vagues: Eric 25000 5mois >couverte: Karine 30000 7mois prix: >25000: Eric a_vagues 5mois >30000: Karine couverte 7mois >35000: Cyril en_l 6mois >40000: Cathy basique 8mois >45000: Isabelle circulaire 4mois duree: >4mois: Isabelle circulaire 45000 >5mois: Eric a_vagues 25000 >6mois: Cyril en_l 35000 >7mois: Karine couverte 30000 >8mois: Cathy basique 40000 Search done. Cannot find 100 solution(s). Only 2 solution(s) possible. Done.