$ ./bn2cnf -i example.uai -o bench.cnf -w weightMap -v varMap -e LOG -s prime -implicit

c =================== Information about the instance ======================

c Number of CPTs: 1

c Number of tuples for all the CPTs: 6

c Number of variables: 2

c Number of values: 5

c

c =================== Preprocessing (Quine/McCluskey) ======================

c Number of remaining tuples in all CPTs after simplification: 4

c

c ================= Transformation information - Implicit ==================

c Number of Boolean variables used to encode the domains: 4

c Number of clauses used to encode the domains: 1

c

c =================== CNF information ======================

c Number of variables: 4

c Number of clauses: 3

c

c Total elapsed time: 0.000312

Gives the following content for the generated files:

$ cat varMap

0 = [[1, 2][1, -2][-1, 2]]

1 = [[3][-3]]

$ cat weightMap

4 0.384615

-4 0.615385

0 0.260000

$ cat bench.cnf

p cnf 4 3

1 2 0

-1 -2 -3 0

-1 2 4 0