swMATH ID: 29267
Software Authors: Andrea Fois, Gianfranco Rossi, Elisabetta Poleo & others
Description: JSetL is a Java library that has been developed at the University of Parma (Italy) since 2002. JSetL is released under the GPL 3.0 license. JSetL allows the user to use a declarative style of programming inside the popular Java programming language. Using JSetL the user can create partially specified (or totally unbound) logical objects such as logical variables, logical lists and sets, logical binary relations and maps, restricted intensional sets, logical pairs, … Moreover, JSetL can be used to declare and solve constraints on logical objects. There is a great number of built-in constraints available for the built-in logical object types. Moreover, JSetL enables the user to create their own constraints and define rewrite rules for them. This means that the JSetL solver can be used as a non-deterministic engine for any user-defined constraint.
Homepage: http://www.clpset.unipr.it/jsetl/
Dependencies: Java
Keywords: arXiv_cs.PL; Java; JSetL; declarative programming; set programming; logic programming; constraint programming; set theory; set constraint
Related Software: Z; SETL; ProB; MiniZinc; Gecode; JaCoP; FaCiLe; Choco; CLAIRE; Miranda; CUD@SAT; CUDA; seL4; BWare; Z/EVES; Gringo; TPTP; Mozart; CPLEX; ESRA
Cited in: 4 Publications
Further Publications: http://www.clpset.unipr.it/jsetl/index.php/papers/

Standard Articles

1 Publication describing the Software Year
Declarative Programming with Intensional Sets in Java Using JSetL
Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi

Citations by Year