https://github.com/mgree/z3canary

https://github.com/mgree/z3canary

Last synced: over 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/mgree/z3canary
• Owner: mgree
• License: mit
• Created: 2020-02-25T03:27:14.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-05-27T20:37:44.000Z (about 6 years ago)
• Last Synced: 2025-02-09T21:43:50.857Z (over 1 year ago)
• Language: Shell
• Size: 16.6 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
[![Build Status](https://travis-ci.com/mgree/z3canary.svg?branch=master)](https://travis-ci.com/mgree/z3canary)

[z3canary](https://github.com/mgree/z3canary) is a suite of files exercising the Z3 OCaml interface. Travis CI will ensure that we can build and link with the Z3 library appropriately.

Current files:

|File|Description |

|----|------------|

| [basic.ml](https://github.com/mgree/z3canary/blob/master/basic.ml) | creates a single boolean variable |

| [logic.ml](https://github.com/mgree/z3canary/blob/master/logic.ml) | checks that `x XOR y` is satisfiable |