├── .editorconfig ├── .gitattributes ├── .gitignore ├── .gitmodules ├── .semver ├── Gemfile ├── Gemfile.lock ├── LICENSE.txt ├── README.md ├── Rakefile ├── paket.dependencies ├── paket.lock ├── src ├── Examples │ ├── Arithmetic.fsx │ ├── Array.fsx │ ├── Boolean.fsx │ ├── DogCatMouse.fsx │ ├── EightQueens.fsx │ ├── Function.fsx │ ├── Introduction.fsx │ ├── KinematicEquations.fsx │ ├── MachineArithmetic.fsx │ ├── Simple.fsx │ ├── Solver.fsx │ ├── Sudoku.fsx │ └── Tutorial.fsx ├── FsZ3.Mono.sln ├── FsZ3.Mono.userprefs ├── FsZ3.sln └── FsZ3 │ ├── Api.fs │ ├── App.config │ ├── Array.fs │ ├── BitVec.fs │ ├── Bool.fs │ ├── FsZ3.fsproj │ ├── Function.fs │ ├── Int.fs │ ├── Real.fs │ └── paket.references └── tools └── paket.bootstrapper.exe /.editorconfig: -------------------------------------------------------------------------------- 1 | root = true 2 | [*] 3 | end_of_line = lf 4 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/.gitattributes -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/.gitmodules -------------------------------------------------------------------------------- /.semver: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/.semver -------------------------------------------------------------------------------- /Gemfile: -------------------------------------------------------------------------------- 1 | source 'https://rubygems.org' 2 | gem 'albacore', '~> 2.5.6' 3 | -------------------------------------------------------------------------------- /Gemfile.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/Gemfile.lock -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/README.md -------------------------------------------------------------------------------- /Rakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/Rakefile -------------------------------------------------------------------------------- /paket.dependencies: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/paket.dependencies -------------------------------------------------------------------------------- /paket.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/paket.lock -------------------------------------------------------------------------------- /src/Examples/Arithmetic.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Arithmetic.fsx -------------------------------------------------------------------------------- /src/Examples/Array.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Array.fsx -------------------------------------------------------------------------------- /src/Examples/Boolean.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Boolean.fsx -------------------------------------------------------------------------------- /src/Examples/DogCatMouse.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/DogCatMouse.fsx -------------------------------------------------------------------------------- /src/Examples/EightQueens.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/EightQueens.fsx -------------------------------------------------------------------------------- /src/Examples/Function.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Function.fsx -------------------------------------------------------------------------------- /src/Examples/Introduction.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Introduction.fsx -------------------------------------------------------------------------------- /src/Examples/KinematicEquations.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/KinematicEquations.fsx -------------------------------------------------------------------------------- /src/Examples/MachineArithmetic.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/MachineArithmetic.fsx -------------------------------------------------------------------------------- /src/Examples/Simple.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Simple.fsx -------------------------------------------------------------------------------- /src/Examples/Solver.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Solver.fsx -------------------------------------------------------------------------------- /src/Examples/Sudoku.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Sudoku.fsx -------------------------------------------------------------------------------- /src/Examples/Tutorial.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/Examples/Tutorial.fsx -------------------------------------------------------------------------------- /src/FsZ3.Mono.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3.Mono.sln -------------------------------------------------------------------------------- /src/FsZ3.Mono.userprefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3.Mono.userprefs -------------------------------------------------------------------------------- /src/FsZ3.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3.sln -------------------------------------------------------------------------------- /src/FsZ3/Api.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/Api.fs -------------------------------------------------------------------------------- /src/FsZ3/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/App.config -------------------------------------------------------------------------------- /src/FsZ3/Array.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/Array.fs -------------------------------------------------------------------------------- /src/FsZ3/BitVec.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/BitVec.fs -------------------------------------------------------------------------------- /src/FsZ3/Bool.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/Bool.fs -------------------------------------------------------------------------------- /src/FsZ3/FsZ3.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/FsZ3.fsproj -------------------------------------------------------------------------------- /src/FsZ3/Function.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/Function.fs -------------------------------------------------------------------------------- /src/FsZ3/Int.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/Int.fs -------------------------------------------------------------------------------- /src/FsZ3/Real.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/src/FsZ3/Real.fs -------------------------------------------------------------------------------- /src/FsZ3/paket.references: -------------------------------------------------------------------------------- 1 | FSharp.Core -------------------------------------------------------------------------------- /tools/paket.bootstrapper.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fsprojects/Z3Fs/HEAD/tools/paket.bootstrapper.exe --------------------------------------------------------------------------------