From: Andrzej Lewandowski
Subject: Finite domain constraint solver for LISP?...
Date: Fri, 09 Nov 2001 14:51:27 +0000
Message-ID: <p5rnutk10icaiu28dlb02m2mlmn09dbmt8@4ax.com>

I need commercially supported finite domain constraint solver for LISP
(such as CLP(FD) in Prolog or ILOG  Solver). I know about Screamer,
but it seems that this is a project that was abandoned long ago
(1994), however it is very close to this what I am looking for.
Anything commercial in this spirit? 

A.L.