diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 04:52:36 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-04 04:52:36 +0800 |
| commit | dbd35e0081c600822a2069fd7b393e085b0c00c9 (patch) | |
| tree | 9fb1c5ffa8813f2e77ceccf5339500a3a6c11eb7 /proofsearch/tests/test_simplify.cc | |
| parent | 2713bbcb4044ca18eb3071a8efea7ad097a6693b (diff) | |
| download | rcc-project-dbd35e0081c600822a2069fd7b393e085b0c00c9.tar.gz rcc-project-dbd35e0081c600822a2069fd7b393e085b0c00c9.tar.xz | |
feat: implement saturation-based resolution loop in Prover class
Diffstat (limited to 'proofsearch/tests/test_simplify.cc')
0 files changed, 0 insertions, 0 deletions