projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cedb607) | patch
Add strict-cube and decision-trail partitioning strategies (#8651)
authorAmalee Wilson <amalee@cs.stanford.edu>
Mon, 2 May 2022 23:42:10 +0000 (16:42 -0700)
committerGitHub <noreply@github.com>
Mon, 2 May 2022 23:42:10 +0000 (23:42 +0000)
commit4617392aad80921f49c4eb3f62a06e8ad5c710ab
tree4822d4218d9f855cf19b65df9f1f4e46f7d34bbatree
parentcedb607a0017bff88f6d0be3d7295e87843c1662commit | diff
Add strict-cube and decision-trail partitioning strategies (#8651)

Add the strict-cube modification to the revised partitioning algorithm and add the full-trail partitioning strategy.
src/options/parallel_options.toml diff | blob | history
src/theory/partition_generator.cpp diff | blob | history
src/theory/partition_generator.h diff | blob | history