Ok, If I have understand Constraint Solver work by splitting and propagating. But is it possible specially in ECLiPSe to separate this two working mode : By first propagate all the constraints (reduce variable's domain) ( display the only result of propagation) than search solution to problem. I want to compare the propagation result of ECLiPSe with a filtering tool developed in my lab. Thanks Le 02/04/2010 10:29, Claudio Cesar de Sá a écrit : > Mériem > > Attached a pdf that I am working on ... look the page 6 and 7 ... > Another source is the link of a course that I taught ... but > everything in Portugese > http://www2.joinville.udesc.br/~coca/index.php/Main/ProgramacaoLogicaRestricao > <http://www2.joinville.udesc.br/%7Ecoca/index.php/Main/ProgramacaoLogicaRestricao> > > I hope to help you > > > claudio > > 2010/4/2 Meriem Djefel <Meriem.DJEFEL_at_enstimac.fr > <mailto:Meriem.DJEFEL_at_enstimac.fr>> > > Hi , > hanks for your answer, but can I have more details . I have > already read the manual but it is'nt clear for me how to specially > just propagate constraints and how to resolve. > Perhaps if we have some examples to see the different behaviour. > Thank you for your help. > Mériem > Le 01/04/2010 17:06, Claudio Cesar de Sá a écrit : >> Mériem >> >> Both ... the Eclipse manual is very complete, full the examples >> ...you will enjoy it. >> Look in the doc directory ... all the manuals are there in pdf. >> If you don' t like the Prolog syntax ... there are >> alternatives. I am doing >> a slides set of solvers... please react me if you wish. >> >> >> claudio >> (at moment in http://laic.u-clermont1.fr/ ) >> >> >> >> >> >> 2010/4/1 Meriem Djefel <Meriem.DJEFEL_at_enstimac.fr >> <mailto:Meriem.DJEFEL_at_enstimac.fr>> >> >> Hi, >> I tray to find in the documentation answers to : >> Is ECLiPSe a tools of resolving problems or for Propagating? >> I want to know what is the general working of ECLiPSe? >> Thanks for you help. >> Mériem >> >> ------------------------------------------------------------------------------ >> Download Intel® Parallel Studio Eval >> Try the new software tools for yourself. Speed compiling, >> find bugs >> proactively, and fine-tune applications for parallel performance. >> See why Intel Parallel Studio got high marks during beta. >> http://p.sf.net/sfu/intel-sw-dev >> _______________________________________________ >> ECLiPSe-CLP-Users mailing list >> ECLiPSe-CLP-Users_at_lists.sourceforge.net >> <mailto:ECLiPSe-CLP-Users_at_lists.sourceforge.net> >> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users >> >> >> >> >> -- >> claudio >> >> >> >> ( >> )) >> |""|-. >> |__|-' >> >> >> ********************************************************************** >> Skype: claudio_cesar_sa >> Links: >> http://laic.u-clermont1.fr/ >> http://www.colmeia.udesc.br/ >> http://www2.joinville.udesc.br/~coca/ >> <http://www2.joinville.udesc.br/%7Ecoca/> >> http://www2.joinville.udesc.br/~esp7maratona/ >> <http://www2.joinville.udesc.br/%7Eesp7maratona/> >> Blog: http://claudiocesar.wordpress.com/ >> *********************************************************************** > > > > > -- > claudio > > > > ( > )) > |""|-. > |__|-' > > > ********************************************************************** > Skype: claudio_cesar_sa > Links: > http://laic.u-clermont1.fr/ > http://www.colmeia.udesc.br/ > http://www2.joinville.udesc.br/~coca/ > <http://www2.joinville.udesc.br/%7Ecoca/> > http://www2.joinville.udesc.br/~esp7maratona/ > <http://www2.joinville.udesc.br/%7Eesp7maratona/> > Blog: http://claudiocesar.wordpress.com/ > ***********************************************************************
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET