projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78fa095) | patch
Allow fmf-bound-int to be set with set-option and via API.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 17 Apr 2014 19:16:42 +0000 (15:16 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 17 Apr 2014 19:16:42 +0000 (15:16 -0400)
commite77289614a61d8658f8fc56073fa3334c14139b8
treeb0de7ce99577fc14edf4b4fa9e31db5a0471126ctree
parent78fa095e7cac7a59062a0bbf8cc862d0bbaa1e0acommit | diff
Allow fmf-bound-int to be set with set-option and via API.
src/theory/quantifiers/options diff | blob | history