https://github.com/jwiegley/z3-generate-api

A tool to generate Haskell wrappers around the Z3 C API
https://github.com/jwiegley/z3-generate-api

Last synced: 24 days ago
JSON representation

A tool to generate Haskell wrappers around the Z3 C API

• Host: GitHub
• URL: https://github.com/jwiegley/z3-generate-api
• Owner: jwiegley
• Created: 2017-12-13T21:16:03.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-08-01T13:47:39.000Z (over 6 years ago)
• Last Synced: 2024-08-02T01:26:44.045Z (3 months ago)
• Language: Haskell
• Size: 151 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# z3-generate-api

A tool to generate Haskell wrappers around the Z3 C API.

An example of how to run after building:

    cd api/4.5.0

    ../../dist/build/z3-generate-api/z3-generate-api --yaml api.yml