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: about 2 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 9 years ago)
- Default Branch: master
- Last Pushed: 2022-06-23T03:36:05.000Z (over 3 years ago)
- Last Synced: 2025-02-07T21:35:37.107Z (10 months ago)
- Topics: computational, formal-methods, logic, model, ocaml, sat, solver
- Language: OCaml
- Size: 1.07 MB
- Stars: 23
- Watchers: 4
- Forks: 0
- Open Issues: 2