https://github.com/c-cube/smbc

Experimental model finder/SMT solver for functional programming.
https://github.com/c-cube/smbc

computational formal-methods logic model ocaml sat solver

Last synced: 3 months ago
JSON representation

Experimental model finder/SMT solver for functional programming.

• Host: GitHub
• URL: https://github.com/c-cube/smbc
• Owner: c-cube
• License: bsd-2-clause
• Created: 2016-07-06T14:05:50.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2022-06-23T03:36:05.000Z (over 2 years ago)
• Last Synced: 2024-04-20T00:54:18.034Z (9 months ago)
• Topics: computational, formal-methods, logic, model, ocaml, sat, solver
• Language: OCaml
• Size: 1.07 MB
• Stars: 22
• Watchers: 4
• Forks: 0
• Open Issues: 2

Awesome Lists containing this project