https://github.com/imandra-ai/batsmt-ocaml

OCaml bindings for batsmt
https://github.com/imandra-ai/batsmt-ocaml

cdcl ocaml rust rust-bindings smt

Last synced: about 2 months ago
JSON representation

OCaml bindings for batsmt

• Host: GitHub
• URL: https://github.com/imandra-ai/batsmt-ocaml
• Owner: imandra-ai
• Created: 2019-02-07T16:20:23.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-03-21T19:42:57.000Z (almost 6 years ago)
• Last Synced: 2024-04-20T00:54:19.587Z (9 months ago)
• Topics: cdcl, ocaml, rust, rust-bindings, smt
• Language: Rust
• Size: 94.7 KB
• Stars: 3
• Watchers: 6
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project