Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

comp.constraints FAQ (Part 1 of 1)
Section - [1-10] Constraint libraries for Lisp and C

( Part1 - Part2 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Zip codes ]


Top Document: comp.constraints FAQ (Part 1 of 1)
Previous Document: [1-9] Benchmarks and examples
Next Document: [1-11] Constraint systems
See reader questions & answers on this topic! - Help others by sharing your knowledge
Patrick Prosser <pat@cs.strath.ac.uk> discusses various standard
algorithms in the journal Computational Intelligence vol 9(3), 1993.
Scheme versions available from Pat on request; Lisp implementations are
available from <ftp://ftp.cs.strath.ac.uk/local/pat/csp-lab>.

Peter Van Beek <vanbeek@cs.ualberta.ca> has written a set of libraries
for C. This package is available from
<ftp://ftp.cs.ualberta.ca/pub/ai/csp> where you will find a README and
also csplib.tar.Z.

Screamer
<http://www.cs.unh.edu/ccc/archive/constraints/systems/screamer.html> is a
constraint library for Common Lisp.

Michel Lemaitre has written a Common Lisp library dedicated to the
resolution of "Valued Constraint Satisfaction Problems" (for a
description of VCSP, see
<ftp://ftp.cert.fr/pub/verfaillie/ijcai95.ps>).  The library has been
designed with efficiency in mind. It includes Branch and Bound
extensions of the Backtrack and Forward checking algorithm as well as
the "Russian Doll Search" algorithm described in
<ftp://ftp.cert.fr/pub/verfaillie/rds-aaai96.ps>, and several benchmark
problems.  The library is available at
<ftp://ftp.cert.fr/pub/lemaitre/LVCSP/>.


User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: comp.constraints FAQ (Part 1 of 1)
Previous Document: [1-9] Benchmarks and examples
Next Document: [1-11] Constraint systems

Part1 - Part2 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
pse@cs.unh.edu





Last Update March 27 2014 @ 02:11 PM