diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 18:33:53 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 18:33:53 +0200 |
| commit | 2f149364eb80e162c85d79d461885482d17dd1ba (patch) | |
| tree | ca1cc7db6b092e618736bbebb82c60fa188b6bcd /src/proof/acec | |
| parent | 0d1786d82952aa6381bac1b5d8aa3d0c6acc7f5a (diff) | |
| download | abc-2f149364eb80e162c85d79d461885482d17dd1ba.tar.gz abc-2f149364eb80e162c85d79d461885482d17dd1ba.tar.bz2 abc-2f149364eb80e162c85d79d461885482d17dd1ba.zip | |
Provide number of max cubes as parameter.
Diffstat (limited to 'src/proof/acec')
0 files changed, 0 insertions, 0 deletions