projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Tue, 20 Mar 2018 23:11:15 +0000 (16:11 -0700) | ||
| committer | GitHub <noreply@github.com> | |
| Tue, 20 Mar 2018 23:11:15 +0000 (16:11 -0700) | ||
| commit | 614670f98a9ab2d3cfcb9f364a1b06d78f63ebb0 | |
| tree | 7dbdfbbae495fed26877c51267f6775f618f5d33 | tree |
| parent | 62f58d62c6c597eeb9cae5e08d74f21c4a5c5c40 | commit | diff |
| COPYING | diff | blob | history | |
| config/cadical.m4 | [new file with mode: 0644] | blob |
| config/cryptominisat.m4 | diff | blob | history | |
| configure.ac | diff | blob | history | |
| contrib/get-cadical | [new file with mode: 0755] | blob |
| src/Makefile.am | diff | blob | history | |
| src/base/configuration.cpp | diff | blob | history | |
| src/base/configuration.h | diff | blob | history | |
| src/base/configuration_private.h | diff | blob | history | |
| src/options/bv_bitblast_mode.h | diff | blob | history | |
| src/options/options_handler.cpp | diff | blob | history | |
| src/prop/cadical.cpp | [new file with mode: 0644] | blob |
| src/prop/cadical.h | [new file with mode: 0644] | blob |
| src/prop/cryptominisat.cpp | diff | blob | history | |
| src/prop/cryptominisat.h | diff | blob | history | |
| src/prop/sat_solver_factory.cpp | diff | blob | history | |
| src/prop/sat_solver_factory.h | diff | blob | history | |
| src/theory/bv/eager_bitblaster.cpp | diff | blob | history |