gnu99 to c99 (not compiler dependent) produces a warning for mkstemp
[anf2cnf:anf2cnf.git] / bestbits.cpp
2011-05-27 Luk Bettalechanged name for ANF_var_is_unknown
2011-01-13 Mate SoosBetter handling of UNSAT during score-determination
2011-01-13 Mate SoosBetter scores for best-bit
2011-01-08 Mate SoosOoops, a "return" was left in
2011-01-08 Mate SoosPrint found best bits at every point
2011-01-08 Mate SoosAdding evaluation&propagation test code
2011-01-07 Mate SoosFix:Random generation was not thread-safe