mirror of
https://github.com/Z3Prover/z3
synced 2025-04-11 11:43:36 +00:00
13 lines
264 B
OCaml
13 lines
264 B
OCaml
(*
|
|
Copyright (C) 2012 Microsoft Corporation
|
|
Author: CM Wintersteiger (cwinter) 2012-12-17
|
|
*)
|
|
|
|
open Z3
|
|
|
|
let _ = ignore(Log.open_ "z3.log") ;
|
|
let cfg = Some [("model", "true"); ("proof", "false")] in
|
|
let ctx = (new context cfg) in
|
|
ctx#dispose
|
|
;;
|