GitHub / c-cube / smbc
Experimental model finder/SMT solver for functional programming.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/c-cube%2Fsmbc
Stars: 23
Forks: 0
Open issues: 2
License: bsd-2-clause
Language: OCaml
Size: 1.07 MB
Dependencies parsed at: Pending
Created at: almost 9 years ago
Updated at: 11 months ago
Pushed at: almost 3 years ago
Last synced at: 5 days ago
Topics: computational, formal-methods, logic, model, ocaml, sat, solver
Loading...