Code

CDCL Graph v2#86

Code

Merged

JonasAlaif merged 11 commits intomainviperproject/axiom-profiler-2:mainfrom cdcl-newviperproject/axiom-profiler-2:cdcl-newCopy head branch name to clipboardDec 12, 2024

+1,112-267

Commits

Commits on Dec 11, 2024

• Parse cdcl

  JonasAlaif

  committed
  b302bb9

• Rename Error as E

  JonasAlaif

  committed
  ae88d6a

• Mostly fix cdcl handling

  JonasAlaif

  committed
  32c57dd

Commits on Dec 12, 2024

• Fix remaining issues

  JonasAlaif

  committed
  37dfda0

• Handle missed case

  JonasAlaif

  committed
  ef3b2c1

• Fix bool_lit can be zero

  JonasAlaif

  committed
  6e77282

• Finalize cdcl

  JonasAlaif

  committed
  c653f93

• Undo multiple roots wording

  JonasAlaif

  committed
  5538dda

• clippy, fmt

  JonasAlaif

  committed
  5b5976b

• Add cdcl filters

  JonasAlaif

  committed
  9074977

• Overflow info boxes

  JonasAlaif

  committed
  d2c2886