ratp - A saturation-based automated theorem prover for first-order logic.

Branch	Commit message	Author	Age
master	feat: enhance clang-tidy configuration and improve code quality across multip...	Richard Qin	7 months


Age	Commit message	Author	Files	Lines
2026-04-08	feat: enhance clang-tidy configuration and improve code quality across multip...HEAD master	Richard Qin	13	-159/+198
2026-04-07	refactor: rename struct members to follow trailing underscore naming conventi...	Richard Qin	31	-809/+877
2026-04-04	style: reformat codebase with consistent indentation	Richard Qin	49	-354/+294
2026-04-04	feat: add copyright and license disclaimer to program startup output	Richard Qin	1	-0/+5
2026-04-04	feat: implement pretty-printing for variables and proof step references in pr...	Richard Qin	2	-8/+78
2026-04-04	feat: implement command-line interface and add end-to-end propositional logic...	Richard Qin	5	-13/+275
2026-04-04	feat: implement proof trace extraction and add proof trace test	Richard Qin	4	-9/+365
2026-04-04	feat: implement saturation-based resolution loop in Prover class	Richard Qin	5	-10/+349
2026-04-04	feat: implement clause subsumption and tautology detection logic with associa...	Richard Qin	6	-0/+250
2026-04-04	feat: implement variable renaming and update resolution logic to prevent vari...	Richard Qin	3	-3/+399
[...]

Clone
https://git.richardqin.org/ratp.git
git@git.richardqin.org:/srv/git/ratp.git