Opam Package smbc.0.6.1

Package info

opam-namesmbc
opam-version0.6.1
synopsisExperimental model finder/SMT solver for functional programming
authors
  • Simon Cruanes
homepagehttps://github.com/c-cube/smbc
readme-fileREADME.md
deps (7)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

smbc

Package files

lib/smbc/opam
lib/smbc/dune-package
lib/smbc/META
lib/smbc
doc/smbc/README.md
doc/smbc/LICENSE
doc/smbc/CHANGELOG.md
doc/smbc
bin/smbc