Major tasks

Symmetry breaking

Obfuscation

Polymorphism

Embedding inside veriT

Prototype inside SMTpp

On branch c_embed :

Phase 1

Add a main.c which reads a filename from CLI
Calls the caml parse function and pretty-prints the code

Phase 2

Call a C function from the OCaml function called to print for example an unknown message

DAG