z3

High-performance theorem prover

Installation and Usage

Use the zopen package manager (QuickStart Guide) to install:

zopen install z3

Building from Source

1. Clone the repository:

git clone https://github.com/zopencommunity/z3port.git
cd z3port

2. Build using zopen:

zopen build -vv

See the zopen porting guide for more details.

Documentation

Troubleshooting

Contributing

Contributions are welcome! Please follow the zopen contribution guidelines.