Code

Added user propagator example#5625

Code

Merged

NikolajBjorner merged 3 commits intoZ3Prover:masterZ3Prover/z3:masterfrom CEisenhofer:masterCopy head branch name to clipboardNov 2, 2021

+446-3

Commits

Commits on Oct 26, 2021

• Added user propagator example

  CEisenhofer

  committed
  ec792f6

Commits on Oct 31, 2021

• User propagator example code refactoring

  Show description for 02e6f38
  CEisenhofer

  committed
  02e6f38

Commits on Nov 2, 2021

• Moved user-propagator example to its own directory

  CEisenhofer

  committed
  7087225