Java to.cnf (DIMACS fichier)

Bonjour,
je ne sais pas si je poste au bon endroit ou pas j'aurais besoin savoir quelque manipulation.

Alors j'ai une fichier Java (.java) je voudrais faire une "makefile" pour obtenir les code associer .java une fichier de type DIMACS .cnf pour pouvoir manipuler une SAT-solver.

Donc je voudrais savoir comment passer le fichier .java A .cnf ? (en compilant ? ou utilisant des autre outils ou commande sachant que je compile sous linux).

merci bien de m'aider.

Cordialement Elodie

(le fichier .java il sagit un jeux simple de sudoku)