About: http://webisa.webdatacommons.org/289160692

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Up to now, more than 20 solvers for different kinds of constraints are available, including finite-domain constraints, linear equations and inequations, and set constraints.
http://www.w3.org/ns/prov#wasQuotedFrom	psu.edu