(** A small SMT solver as a demo for Sidekick *)






(** Main.

    Here we just read the name of the *)