presburger.cc is glue to allow the Clay compiler in Ocaml to communicate 
with the Omega SAT solver in C++. It is specific to the endianess of your 
architecture.
