JSetL 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 2020 all top 5 Cited by 8 Authors 3 Rossi, Gianfranco 2 Cristiá, Maximiliano 1 Bergenti, Federico 1 Dal Palù, Alessandro 1 Dovier, Agostino 1 Formisano, Andrea 1 Pontelli, Enrico 1 Tardivo, Fabio Cited in 3 Serials 2 Journal of Automated Reasoning 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Fundamenta Informaticae Cited in 2 Fields 4 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year