Skip to content

Small bug fix to prevent assert error when calling E at 0.0 on problem with an empty clause#100

Merged
c-cube merged 1 commit intosneeuwballen:masterfrom nartannt:empty_clause_assert_errorFeb 8, 2024
+1-1

Commits

Commits on Feb 8, 2024