diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-28 19:26:28 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-28 19:26:28 +0000 |
commit | 6e5f551507a2a9af33e7b56107471a096a495862 (patch) | |
tree | 73a2b187a2f6b4edb6a7043096b5479e947951dd /src/prop/cryptominisat | |
parent | 4fa767be298c40ebb95b74d5016a0538c02212e6 (diff) |
enabling the --disable-arithmetic-propagation option in the arithmetic code (it wasn't used)
Diffstat (limited to 'src/prop/cryptominisat')
0 files changed, 0 insertions, 0 deletions