PrototypeCommon
Gbury/mSAT
A modular sat/smt solver with proof output.
- Owner
- Gbury (personal account)
- Stars
- Stars: 107
- Forks
- Forks: 10
- Language
- OCaml
- License
- Apache-2.0
- Created
- 2014
- Topics
- sat-solversmt-solversolvermodularocamlformal-methodsformulaclause
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- tjdevries/octane.mlStars: 108OCamlPrototype
- mirage/ocaml-githubStars: 107OCamlPrototype
- dkim/rwo-lwtStars: 107OCamlPrototype
- mirage/ocaml-rpcStars: 106OCamlPrototype
- capnproto/capnp-ocamlStars: 106OCamlPrototype