diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 23:31:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-13 23:31:01 -0800 |
| commit | 77b5dc261e15e62c7e345b9216601010d139d711 (patch) | |
| tree | e5d8c6714717a580c90e23433c33e0477044bdcd /src/proof/pdr/pdr.h | |
| parent | e0650dce0a3f5567715f60162693f693ce3fd16b (diff) | |
| download | abc-77b5dc261e15e62c7e345b9216601010d139d711.tar.gz abc-77b5dc261e15e62c7e345b9216601010d139d711.tar.bz2 abc-77b5dc261e15e62c7e345b9216601010d139d711.zip | |
Added restarts to PDR.
Diffstat (limited to 'src/proof/pdr/pdr.h')
| -rw-r--r-- | src/proof/pdr/pdr.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/pdr/pdr.h b/src/proof/pdr/pdr.h index 4f0f769e..d245b467 100644 --- a/src/proof/pdr/pdr.h +++ b/src/proof/pdr/pdr.h @@ -44,6 +44,7 @@ struct Pdr_Par_t_ int nRecycle; // limit on vars for recycling int nFrameMax; // limit on frame count int nConfLimit; // limit on SAT solver conflicts + int nRestLimit; // limit on the number of proof-obligations int nTimeOut; // timeout in seconds int fTwoRounds; // use two rounds for generalization int fMonoCnf; // monolythic CNF |