projects / cvc5.git / commit
| author | Aina Niemetz <aina.niemetz@gmail.com> | |
| Fri, 22 May 2020 13:41:50 +0000 (06:41 -0700) | ||
| committer | GitHub <noreply@github.com> | |
| Fri, 22 May 2020 13:41:50 +0000 (08:41 -0500) | ||
| commit | c531152e6a707b66b885e508ea61e2a67e195ccc | |
| tree | a18a2d342b03db1700a963470f2064cf3ac8d086 | tree |
| parent | ae33f11d0f4156b4d21b9e77f6df59ec0f9e8184 | commit | diff |
| CMakeLists.txt | diff | blob | history | |
| cmake/FindKissat.cmake | [new file with mode: 0644] | blob |
| configure.sh | diff | blob | history | |
| contrib/get-kissat | [new file with mode: 0755] | blob |
| src/CMakeLists.txt | 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_options.toml | diff | blob | history | |
| src/options/options_handler.cpp | diff | blob | history | |
| src/options/options_handler.h | diff | blob | history | |
| src/prop/kissat.cpp | [new file with mode: 0644] | blob |
| src/prop/kissat.h | [new file with mode: 0644] | blob |
| src/prop/sat_solver_factory.cpp | diff | blob | history | |
| src/prop/sat_solver_factory.h | diff | blob | history | |
| src/theory/bv/bitblast/aig_bitblaster.cpp | diff | blob | history | |
| src/theory/bv/bitblast/eager_bitblaster.cpp | diff | blob | history |