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