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