()
A flag indicating that there is at least one incremental SAT solver
()
Returns the number of element in a statically allocated array

Last updated on 2007/05/22 18h:36