z3-0.3.2: Bindings for the Z3 Theorem Prover

Copyright(c) Iago Abal, 2013-2014 (c) David Castro, 2013
LicenseBSD3
MaintainerIago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
Safe HaskellNone
LanguageHaskell98

Z3.Opts

Contents

Description

Configuring Z3.

Z3 has plenty of configuration options and these vary quite a lot across Z3 versions, being hard to design a proper abstraction. We decided to keep this simple.

Synopsis

Z3 configuration

data Opts Source

Z3 configuration.

Instances

setOpts :: Config -> Opts -> IO () Source

Set configuration.

If you are using Lang or Monad interfaces, you don't need to call this function directly, just pass your Opts to evalZ3*.

stdOpts :: Opts Source

Default configuration.

(+?) :: Opts -> Opts -> Opts Source

Append configurations.

Z3 options

opt :: OptValue val => String -> val -> Opts Source

Set a configuration option.

class OptValue val Source

Values for Z3 options.

Minimal complete definition

option

Instances