projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7de51f8) | patch
SatClauseSetHashFunction (#2916)
authorAlex Ozdemir <aozdemir@hmc.edu>
Fri, 5 Apr 2019 17:03:05 +0000 (10:03 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Apr 2019 17:03:05 +0000 (10:03 -0700)
commitd663720936b0b873c917fc3fce9999f069bea0f1
treee53e80666f4f8b512a41c9f29830bf5239c94a09tree
parent7de51f8f53db83ebbc871a4d437c382b6ef8d2bacommit | diff
SatClauseSetHashFunction (#2916)

* SatClauseHashFunction

Added to the same file as SatLiteralHashFunction.

* clang-format

Thanks Andres!
src/prop/sat_solver_types.h diff | blob | history