CLP approach to the maximization of distance

This page provides the CLP approach to the problem of maximizing the distance between selected resonances and resonances of selected radii in a WRONoC given

• the parallelism level n_λ to be achieved and
• the number n_R of senders/receivers

The program runs on ECLiPSe 6.1 #224.

To run the program, download the following files:

• maxdist_cumulative2
• conflict3_3
• instance

To run the program, run ECLiPSe:

$ eclipse
ECLiPSe Constraint Logic Programming System [kernel]
Kernel and basic libraries copyright Cisco Systems, Inc.
and subject to the Cisco-style Mozilla Public Licence 1.1
(see legal/cmpl.txt or http://eclipseclp.org/licence)
Source available at www.sourceforge.org/projects/eclipse-clp
GMP library copyright Free Software Foundation, see legal/lgpl.txt
For other libraries see their individual copyright notices
Version 6.1 #224 (x86_64_linux), Fri Nov 25 19:15 2016

consult maxdist_cumulative2:

[eclipse 1]: [maxdist_cumulative2].
source_processor.eco loaded in 0.01 seconds
hash.eco   loaded in 0.00 seconds
...
Yes (0.61s cpu)

call the goal maxdist(SelectedRadii,SelectedResonances,n_R,n_λ,Objective), for the required values of n_R and n_λ.

[eclipse 3]: maxdist(SelectedRadii,SelectedResonances,4,1,Objective).