Code

Opt#9

Code

Merged

NikolajBjorner merged 5 commits intoNikolajBjorner:optNikolajBjorner/z3:optfrom MiguelTerraNeves:optCopy head branch name to clipboardNov 21, 2017

+110-42

Commits

Commits on Nov 18, 2017

• merge commit

  Show description for f476f94
  

  Miguel Angelo Da Terra Neves

  committed
  f476f94

  Copy full SHA for f476f94

Commits on Nov 20, 2017

• re-addition of simplified formulas by generic model converter

  Show description for 8cb5bb2
  

  Miguel Angelo Da Terra Neves

  committed
  8cb5bb2

  Copy full SHA for 8cb5bb2

• merge

  Show description for 37c39f4
  

  Miguel Angelo Da Terra Neves

  committed
  37c39f4

  Copy full SHA for 37c39f4

Commits on Nov 21, 2017

• Merge branch 'opt' of https://github.com/NikolajBjorner/z3 into opt

  

  Miguel Angelo Da Terra Neves

  committed
  d2f52ca

  Copy full SHA for d2f52ca

• re-adding simplified constraints based on model converter

  Show description for 773d938
  

  Miguel Angelo Da Terra Neves

  committed
  773d938

  Copy full SHA for 773d938