diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-15 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-01-15 08:01:00 -0800 |
| commit | 9e073ed8506c086d6e827f5588d1ee56c57703da (patch) | |
| tree | c4f1c6db8c2da1c33ad49aa07e95fc4c0ed9ebfa /src/sat/fraig/fraigSat.c | |
| parent | a6aec18afb8cf503d9168a22197867c5f431fbb8 (diff) | |
| download | abc-9e073ed8506c086d6e827f5588d1ee56c57703da.tar.gz abc-9e073ed8506c086d6e827f5588d1ee56c57703da.tar.bz2 abc-9e073ed8506c086d6e827f5588d1ee56c57703da.zip | |
Version abc60115
Diffstat (limited to 'src/sat/fraig/fraigSat.c')
| -rw-r--r-- | src/sat/fraig/fraigSat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/fraig/fraigSat.c b/src/sat/fraig/fraigSat.c index 13f6b50b..a9e09f61 100644 --- a/src/sat/fraig/fraigSat.c +++ b/src/sat/fraig/fraigSat.c @@ -233,7 +233,7 @@ clk = clock(); RetValue1 = Msat_SolverSolve( p->pSat, p->vProj, nBTLimit, nTimeLimit ); p->timeSat += clock() - clk; -Msat_SolverWriteDimacs( p->pSat, "temp_fraig.cnf" ); +//Msat_SolverWriteDimacs( p->pSat, "temp_fraig.cnf" ); if ( RetValue1 == MSAT_FALSE ) { |