Returns for a given clause and weight a representation of it in .wcnf format
Returns for a given clause and weight a representation of it in .wcnf format
clause to provide
weight of clause
a clause in .wcnf format
Returns for a given atom and polarization a String for a propositional Variable in .wcnf format
Returns for a given atom and polarization a String for a propositional Variable in .wcnf format
atom to provide
polarization (true, false)
a literal in .wcnf format