Skip to content
GitLab
Explore
Sign in
Bug fix in Verifier
Code
Review changes
Check out branch
Download
Patches
Plain diff
Камкин Александр Сергеевич
requested to merge
bugfix/encoding-in-verifier
into
main
Jul 11, 2025
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Made encoding compliant w/ MiniSat literal representation (sign = negation).
Merge request reports
Loading