This site presents a Java library dedicated to problem translation. The input problem has to be specified with Boolean variables and user constraints. The output problem is either a propositional or a peudo-Boolean satisfiability problem, which can be solved thanks to any suitable solver.

• Boolean variables,
• raw constraints, such as clauses and pseudo-Boolean expressions, that are the building blocs for output problems,
• user constraints, which are intended to be translated into raw constraints,
• problems, which collect raw constraints resulting from the translation process.

The workflow consists of two steps: specify a problem using Boolean variables and user constraints, then use the available encoding resources to translate these constraints into the chosen output format (CNF or pseudo-Boolean). Depending of the output format, the translation produces raw constraints and sometimes new variables. 

Problem I = new CnfProblem();

Problem I = new PbProblem();