Screamer+.lisp

Hi,

I was going through a paper on contraint programming in Lisp when I saw a reference to the implementations Screamer and Screamer+. I managed to download the Screamer library, but cannot locate Screamer+. The only link I found was broken. Does anyone know where it is?

Are there other constraint solvers in Lisp?

Regards,

Rangarajan

Re: Screamer+.lisp

Am 18.07.2008 um 06:02 schrieb Rangarajan Krishnamoorthy:

Hi,
I was going through a paper on contraint programming in Lisp when I saw a reference to the implementations Screamer and Screamer+. I managed to download the Screamer library, but cannot locate Screamer+. The only link I found was broken. Does anyone know where it is?

Screamer+ :

http://web.archive.org/web/20050609081454/http://www.csd.abdn.ac.uk/~tnordlan/PhD_Timetable/Programs/LISP/more+Lisp/screamer+.lisp

Are there other constraint solvers in Lisp?

Regards,
Rangarajan

Rainer Joswig, Hamburg, Germany

http://lispm.dyndns.org/

mailto:joswig@lisp.de

Re: Screamer+.lisp

On Fri, Jul 18, 2008 at 6:02 AM, Rangarajan Krishnamoorthy
<ranga@mmsindia.com> wrote:
> Are there other constraint solvers in Lisp?

Gecode is a supposedly very efficient constraint solver written in
C++, and Gecol is a Lisp wrapper around it:

  http://common-lisp.net/project/gecol/
  http://www.gecode.org/

- Willem