projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03925b8) | patch
Generalize symmetry detection for 1 symmetry variable mapped to n input variables...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 23 Jul 2018 22:39:12 +0000 (17:39 -0500)
committerGitHub <noreply@github.com>
Mon, 23 Jul 2018 22:39:12 +0000 (17:39 -0500)
commit3471e731b8538a906e37f8aeb4b0301598b34eff
treee67f70809e791c18aa9ca4800de87a7c707d062btree
parent03925b816a0f9aeb079e2c0037a426b5946e2eaecommit | diff
Generalize symmetry detection for 1 symmetry variable mapped to n input variables  (#1888)
src/preprocessing/passes/symmetry_breaker.cpp diff | blob | history
src/preprocessing/passes/symmetry_detect.cpp diff | blob | history
src/preprocessing/passes/symmetry_detect.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/theory/quantifiers/term_util.cpp diff | blob | history