Added support for Minisat::SimpSolver + ezSAT frezze() API
authorClifford Wolf <clifford@clifford.at>
Sun, 23 Feb 2014 00:35:59 +0000 (01:35 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 23 Feb 2014 00:35:59 +0000 (01:35 +0100)
commitdab1612f81212d1bc1c07ee77b265167861ec883
tree2baf983b4b6ee965ceeac4d3038c05b064c4fe9c
parentb76528d8a557dc324b1dfaa366e2b620795f582d
Added support for Minisat::SimpSolver + ezSAT frezze() API
kernel/satgen.h
libs/ezsat/ezminisat.cc
libs/ezsat/ezminisat.h
libs/ezsat/ezsat.cc
libs/ezsat/ezsat.h