projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f62cb03) | patch
Split, refactor and document the theory of sets (#3085)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 13 Sep 2019 17:56:21 +0000 (12:56 -0500)
committerGitHub <noreply@github.com>
Fri, 13 Sep 2019 17:56:21 +0000 (12:56 -0500)
commitbfd8e5426cfa5d8955e62c822d61536e42b3eff9
tree6ba7699290e52c36763b12979abc3c2b936a67a0tree
parentf62cb035e728c77facc94c5dfe3a8a2df65aa3a7commit | diff
Split, refactor and document the theory of sets (#3085)
13 files changed:
src/CMakeLists.txt diff | blob | history
src/theory/sets/cardinality_extension.cpp [new file with mode: 0644] blob
src/theory/sets/cardinality_extension.h [new file with mode: 0644] blob
src/theory/sets/inference_manager.cpp [new file with mode: 0644] blob
src/theory/sets/inference_manager.h [new file with mode: 0644] blob
src/theory/sets/solver_state.cpp [new file with mode: 0644] blob
src/theory/sets/solver_state.h [new file with mode: 0644] blob
src/theory/sets/theory_sets.cpp diff | blob | history
src/theory/sets/theory_sets.h diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rels.h diff | blob | history