×

JSetL公司

swMATH ID: 29267
软件作者: 安德烈亚·福斯(Andrea Fois)、吉安弗兰科·罗西(Gianfranco Rossi)、伊丽莎白·波罗(Elisabetta Poleo)等
描述: JSetL是一个Java库,自2002年以来由意大利帕尔马大学开发。JSetL是根据GPL 3.0许可证发布的。JSetL允许用户在流行的Java编程语言中使用声明式编程风格。使用JSetL,用户可以创建部分指定(或完全未绑定)的逻辑对象,例如逻辑变量、逻辑列表和集、逻辑二进制关系和映射、受限内涵集、逻辑对……此外,JSetL还可用于声明和解决逻辑对象上的约束。内置逻辑对象类型有大量可用的内置约束。此外,JSetL允许用户创建自己的约束并为其定义重写规则。这意味着JSetL解算器可以用作任何用户定义约束的非确定性引擎。
主页: http://www.clpset.unipr.it/jsetl/
依赖项: Java语言
关键词: arXiv_cs.PL公司;Java语言;JSetL公司;声明式编程;集合编程;逻辑程序设计;约束编程;集合论;设置约束
相关软件: Z轴;SETL公司;ProB公司;迷你锌;Gecode公司;日本石油公司;法西乐;乔科;克莱尔;米兰达;SAT时CUD;CUDA公司;seL4级;B软件;Z/EVES公司;格林戈;TPTP公司;莫扎特;CPLEX公司;ESRA公司
引用于: 4出版物
更多出版物: http://www.clpset.unipr.it/jsetl/index.php/papers/

标准条款

1出版物描述软件 年份
使用JSetL在Java中使用内涵集的声明式编程
马克西米利亚诺·克里斯蒂、安德烈亚·福伊斯、吉安弗兰科·罗西
2020

按年份列出的引文