Code

Mcsat ufnra model fix#518

Code

Merged

ahmed-irfan merged 5 commits intomasterSRI-CSL/yices2:masterfrom mcsat-ufnra-model-fixSRI-CSL/yices2:mcsat-ufnra-model-fixCopy head branch name to clipboardJun 20, 2024

+22-4

Commits

Commits on Jun 14, 2024

• mcsat uf model fix

  ahmed-irfan

  committed
  14fe528

• test case

  ahmed-irfan

  committed
  7da9fcc

• minor

  ahmed-irfan

  committed
  8b793b6

• update test

  ahmed-irfan

  committed
  c5994af

Commits on Jun 20, 2024

• Merge branch 'master' into mcsat-ufnra-model-fix

  ahmed-irfan

  authored
  2e31874