z3

Crystal API for Z3 Theorem Prover.

Installation

1. Add the dependency to your shard.yml:

   dependencies:
     z3:
       github: taw/crystal-z3
   

2. Run shards install

Usage

require "z3"

See examples folder for some examples.

Contributing

1. Fork it (https://github.com/taw/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

• Tomasz Wegrzanowski - creator and maintainer