requested to merge haja.floring/libxml2:haja.floring/addXPathVerification into master
Satisfiability of XPath queries means that there could be any XML document valid on a given schema which, if the XPath query is run on the document, it will return any result. This could be useful for XSLT and other document transformations/validations.
I will leave a link to some research articles for further understanding:
I will rebase the haja.floring/addXPathVerification on master, since I created the branch from win-build, which adds build settings for Visual Studio (BTW, I'm working under Windows and Visual Studio, which offer a nice debugging interface)