JSetL User's Manual - Version 2.3

This manual describes JSetL 2.3, a Java library that offers a number of facilities to support declarative programming like those usually found in constraint logic programming languages: logical variables, list and set data structures (possibly partially specfied), unfication, constraint solving over integers and sets, nondeterminism. JSetL is intended to be used as a general-purpose tool, not devoted to any specific application. The manual describes all the features of JSetL and it shows, through simple examples, how to use them. JSetL has been developed at the Department of Mathematics of the University of Parma (Italy). It is completely written in Java. The full Java code of the JSetL library, along with sample programs and related material, is available at the JSetL WEB page http://cmt.math.unipr.it/jsetl.html