Re: [eclipse-clp-users] [eclipse-users] Graph visit

From: Joachim Schimpf (Independent Contractor) <"Joachim>
Date: Mon, 07 Apr 2008 20:28:56 +0100
Giuseppe Di Guglielmo wrote:
> Dear all,
> how can I model the problem of graph visit with ECLiPSe? Is possible to
> define a graph like an adjacency matrix and then ask to ECLiPSe to
> traversing this graph? In particular can I model a Finite State Machine in
> ECLiPSe?

Ruben Viegas has recently contributed GRASPER, a constraint solver over graphs.
It is distributed as lib(grasper) with recent builds of ECLiPSe 5.10
(as part of the eclipse_misc package).  Library documentation is at
and there is a background paper

A good overview of how to model network problems with constraints is this
article by Helmut Simonis

> P.S. what differences are there between eclipse-users_at_...2... and
> mailinglists?

The list has just been migrated to the latter address, see my previous post.

-- Joachim
Received on Mon Apr 07 2008 - 12:29:34 CEST

This archive was generated by hypermail 2.3.0 : Thu Aug 22 2019 - 09:15:17 CEST