diff options
author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-09-14 09:53:06 +0200 |
---|---|---|
committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-09-14 09:53:06 +0200 |
commit | bb8e1808e6ef6e36a7b81ed78a7e1d7024308737 (patch) | |
tree | cd3e4775cdeb653bab0a6fc691a3d486202102f7 /src/proof/fra | |
parent | 452303b77ab9181087624e6562fba7b6160afda6 (diff) | |
download | abc-bb8e1808e6ef6e36a7b81ed78a7e1d7024308737.tar.gz abc-bb8e1808e6ef6e36a7b81ed78a7e1d7024308737.tar.bz2 abc-bb8e1808e6ef6e36a7b81ed78a7e1d7024308737.zip |
New search strategy in BMS.
Diffstat (limited to 'src/proof/fra')
0 files changed, 0 insertions, 0 deletions