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 | ae88efa5d8e100c05dcba1f9a7bb9ff840b47d66 (patch) | |
| tree | 7bf8499249ae7141e9a9a938fb7241f8aeb157d6 /include/atp/normalize | |
| parent | 6e974168ecc487d99cbe51df569d52304907900c (diff) | |
| download | ratp-ae88efa5d8e100c05dcba1f9a7bb9ff840b47d66.tar.gz ratp-ae88efa5d8e100c05dcba1f9a7bb9ff840b47d66.tar.xz | |
feat: implement saturation-based resolution loop in Prover class
Diffstat (limited to 'include/atp/normalize')
0 files changed, 0 insertions, 0 deletions