Sat4j-CSP-PB org.ow2.sat4j.csppb

Parent	ow2
Group	org.ow2.sat4j
描述	A CSP solver based on the Sat4j platform.
Packaging
Size
文件	pom jar
网址	https://gitlab.ow2.org/sat4j/sat4j-csp-pb
发布时间	2022-08-23 17:48

dependencies

Group	Artifact	Version
fr.cril.cli	fr.cril.cli	1.0.0
org.ow2.sat4j	org.ow2.sat4j.core	2.3.6
org.ow2.sat4j	org.ow2.sat4j.pb	2.3.6
org.xcsp	xcsp3-tools	2.0.1

developers

thibaultfalque	Thibault Falque
romainwallon	Romain Wallon

licenses

GNU Lesser General Public License, Version 3

https://www.gnu.org/licenses/lgpl-3.0.html