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 2007/04/06 14h:44