Re: [eclipse-clp-users] Information about Eclips CP solver

From: Kish Shen <kisshen_at_...5...>
Date: Fri, 13 Jun 2014 05:33:12 +0100
Hi Tarek,

ECLiPSe does not currently support parallel execution. However, from 
ECLiPSe version 6.1, we do support the use of Gecode's finite domain 
solver, so if you use Gecode to do the search (via search/6 of 
lib(gfd)), then you can ask Gecode to perform the search in parallel.

Cheers,

Kish

On 12/06/2014 11:02, tarek menouer wrote:
> Hello,
> I am a PHD student and i like to use Eclips CP solver.
> My question is when i use the flatzinc format there is an option for the
> parallelization?
> If there is a parallelization, we use an internal parallelization of the
> search algorithm or we use a Portfolio parallelization?
> Eclips is adapt for shard, distribute or both shard and distributed memory
> architecture?
>
> You know some parallel CP solver which solve flatzinc problem and use an
> internal parallelization as Gecode solver?
>
> All the best,
> Tarek Menouer
>
>
>
> ------------------------------------------------------------------------------
> HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
> Find What Matters Most in Your Big Data with HPCC Systems
> Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
> Leverages Graph Analysis for Fast Processing & Easy Data Exploration
> http://p.sf.net/sfu/hpccsystems
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
Received on Fri Jun 13 2014 - 05:08:03 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST