diff options
| author |  MichalMoskal <unknown> | 2011-02-17 18:59:50 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-17 18:59:50 +0000 |
| commit | 6873de1e22575d6d227b26ead84621d0fe4cab04 (patch) | |
| tree | 263c8c66b98fe3cc72c96e70e6988cb1be88e5d7 /Binaries/TypedUnivBackPred2.sx | |
| parent | d1467b27944cc71bdf1c2b6350ab7d60933fedb3 (diff) | |
Make it possible to run Z3 on pipe; use generic PROVER_LOG options
Diffstat (limited to 'Binaries/TypedUnivBackPred2.sx')
0 files changed, 0 insertions, 0 deletions