z3

Experimental WIP Crystal bindings for Z3 Theorem Prover

Installation

1. Add the dependency to your shard.yml:

   dependencies:
     z3:
       github: bcardiff/crystal-z3

2. Run shards install

Usage

require "z3"

TODO: Write usage instructions here

Development

TODO: Write development instructions here

Contributing

1. Fork it (https://github.com/bcardiff/crystal-z3/fork)
2. Create your feature branch (git checkout -b my-new-feature)
3. Commit your changes (git commit -am 'Add some feature')
4. Push to the branch (git push origin my-new-feature)
5. Create a new Pull Request

Contributors

• [Brian J. Cardiff](https://github.com/bcardiff/crystal-z3 creator and maintainer