z3-0.3.1: Bindings for the Z3 Theorem Prover

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

Z3.Opts

Description

High-level interface to configuration options.

Synopsis

Documentation

data Opts Source

Z3 configuration.

Instances

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

Set configuration.

stdOpts :: Opts Source

Default configuration.

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

Append configurations.

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

Set a configuration option.

class OptValue val Source

Values for Z3 options.

Minimal complete definition

option

Instances