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

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	In summary: I have not found any great differences in speed, propagations etc between MiniZinc (and its solvers) and Comet, but these problems are not especially demanding, and I didn't the models.
http://www.w3.org/ns/prov#wasQuotedFrom	hakank.org