The projects are using Z3 4.0 32-bit, so make sure that you don't accidentally compile them with x64 Platform target. You should also use F# Interactive 32-bit to experiment with the project.
The projects are using Z3 4.0 32-bit, so make sure that you don't accidentally compile them with x64 Platform target. You should also use F# Interactive 32-bit to experiment with the project.