Code

support qf-bvlra in Yices2 CDCL(T)#515

Code

Merged

ahmed-irfan merged 3 commits intomasterSRI-CSL/yices2:masterfrom bvlraSRI-CSL/yices2:bvlraCopy head branch name to clipboardJun 20, 2024

+1,176-1

Commits

Commits on Jun 2, 2024

• support qf-bvlra

  ahmed-irfan

  committed
  adc8e22

  Copy full SHA for adc8e22

• add logic in the manual

  ahmed-irfan

  committed
  7ac4e79

  Copy full SHA for 7ac4e79

Commits on Jun 20, 2024

• Merge branch 'master' into bvlra

  ahmed-irfan

  authored
  6db68bc

  Copy full SHA for 6db68bc