At the momemnt this file just provide the facilities to
access 'options' unitilities
(
)
- A flag indicating that there is at least one incremental
SAT solver
- Defined in
sat.h
(
)
- Returns the number of element in a statically allocated array
- Defined in
satUtils.c
Last updated on 2009/01/30 14h:53