UnSat questions

• Why can't compiler deduce the return types?
• How should one compare floats in OCaml?
• How to exit a program?
• How should I do clear screen on ocaml toplevel?
• OCaml: measure execution time in toplevel
• how to disable LibreOffice Impress to use multiple display?
• How to install multiple versions of glibc?
• How to uninstall docker-engine?

UnSat answers