anchor.diff:  ﻿#r "../Microsoft.Z3.dll"
   #r "../Z3Fs/bin/Debug/Z3Fs.dll"
   
  +open Microsoft.Z3
   open Microsoft.Z3.FSharp
   open Common
   open Bool
  
positive.code: 
      printfn "traversing model..."
      for d in m.Decls do
          printfn "%O = %O" <|| (d.Name, m.[d])
      
  #time "on";;
  
  
negative.code: let res08 = solverExample1();;
  let res09 = solverExample2();;
  let res10 = solverExample3();;
  
  let res11 = satValidExample1();;
  