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:

• NuSMV/code/nusmv/core/bmc/sbmc/sbmcUtils.h