Code

Support multiple solver backends#142

Code

Draft

Boyan-MILANOV wants to merge 6 commits intodev-nexttrailofbits/maat:dev-nextfrom dev-multiple-solverstrailofbits/maat:dev-multiple-solversCopy head branch name to clipboard

+315-10

Commits

Commits on Aug 26, 2022

• Support exporting constraints to smtlibv2

  Boyan-MILANOV

  committed
  5921058

  Copy full SHA for 5921058

• Merge branch 'dev-next' into dev-multiple-solvers

  Boyan-MILANOV

  committed
  bb56dd4

  Copy full SHA for bb56dd4

• Add boolector support in cmake

  Boyan-MILANOV

  committed
  5111d37

  Copy full SHA for 5111d37

• Add class for boolector solver

  Boyan-MILANOV

  committed
  327d6da

  Copy full SHA for 327d6da

Commits on Sep 6, 2022

• WIP boolector support

  Boyan-MILANOV

  committed
  1edf640

  Copy full SHA for 1edf640

Commits on Sep 12, 2022

• WIP boolector support

  Boyan-MILANOV

  committed
  e6ec979

  Copy full SHA for e6ec979