def main(args):
if yices_has_mcsat():
yices_init()
test_mcsat()
yices_exit()
print 'bye'
def setUp(self):
yapi.yices_init()
self.cfg = yapi.yices_new_config()
self.ctx = yapi.yices_new_context(self.cfg)
self.param = yapi.yices_new_param_record()
yapi.yices_default_params_for_context(self.ctx, self.param)
self.bool_t = yapi.yices_bool_type()
self.int_t = yapi.yices_int_type()
self.real_t = yapi.yices_real_type()
def setUp(self):
yices_init()
def setUp(self):
yapi.yices_init()
"""This module defines the wild card imports from the yices package."""
import yices_api as yapi
# iam: this has to go before the imports below to ensure that the
# yices2 library is initialized (and so static fields get initialized
# ok).
yapi.yices_init() # pylint: disable=wrong-import-position
from yices.Census import Census
from yices.Config import Config
from yices.Context import Context
from yices.Constructors import Constructor
from yices.Delegates import Delegates
from yices.Model import Model
from yices.Profiler import Profiler
from yices.Parameters import Parameters
from yices.Status import Status
from yices.Types import Types
from yices.Terms import Terms
from yices.YicesException import YicesException
from yices.Yices import Yices
from yices.Yvals import Yval
__all__ = [
'Census', 'Config', 'Context', 'Constructor', 'Delegates', 'Model',
'Parameters', 'Profiler', 'Status', 'Types', 'Terms', 'YicesException',
'Yices', 'Yval'
]
def init():
if not getattr(init, 'initialized', False):
yicespy.yices_init()
init.initialized = True
def init():
"""Must be called before any other API routine (other than is_inited), to initialize internal data structures."""
yapi.yices_init()