Module taco_config 

Module for implementing advanced specification options for the model checker.

This module ties together all potential configuration options, such as for example BDD library or SMT checker options of the TACO model checker.

Structs

TACOConfig

Type representing configuration options for the TACO model checker