org.openqed.tool.clausifier (OpenQED Library Documentation)