sbmc_MetaSolver Struct Reference

Utilities function for SBMC package. More...

#include <sbmcUtils.h>


Detailed Description

Utilities function for SBMC package.

Author:
Tommi Junttila, Timo Latvala, Marco Roveri Utilities function for SBMC package

A wrapper to the sat solver


The documentation for this struct was generated from the following file:
All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1