projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78373c7) | patch
SyGuS term size limit (#1262)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Oct 2017 23:18:35 +0000 (18:18 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Oct 2017 23:18:35 +0000 (18:18 -0500)
commit278b60971f6209ffc0eb76a23548c081dc8c9c56
tree3f51b8fe6ceebd24a4f77b7287f95dfa313ea700tree
parent78373c7f5fe93b7e8bbea10e3924f24d25a618accommit | diff
SyGuS term size limit (#1262)

* Add option sygus-abort-size, which tells the enumerative SyGuS solver to abort when it reaches a given term size.

* Apply clang format.
src/options/datatypes_options diff | blob | history
src/options/uf_options diff | blob | history
src/theory/datatypes/datatypes_sygus.cpp diff | blob | history
src/theory/uf/theory_uf_strong_solver.cpp diff | blob | history