# Gbury/mSAT

<https://repo.masters-masters.com/en/repos/Gbury/mSAT>

[Home](https://repo.masters-masters.com/en) › [Gbury](https://repo.masters-masters.com/en/owners/Gbury) › [mSAT](https://repo.masters-masters.com/en/repos/Gbury/mSAT)

Gbury/mSAT has 107 stars on GitHub. Its RepoMasters card: Prototype tier. A modular sat/smt solver with proof output. Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [Gbury](https://repo.masters-masters.com/en/owners/Gbury) |
| Stars | 107 |
| Forks | 10 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | Apache-2.0 |
| Created | 2014 |
| Topics | sat-solver, smt-solver, solver, modular, ocaml, formal-methods, formula, clause |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Gbury/mSAT](https://github.com/Gbury/mSAT) |

## Repository

A modular sat/smt solver with proof output.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in OCaml

- [tjdevries/octane.ml · ★ 108 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/tjdevries/octane.ml)
- [mirage/ocaml-github · ★ 107 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/mirage/ocaml-github)
- [dkim/rwo-lwt · ★ 107 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/dkim/rwo-lwt)
- [mirage/ocaml-rpc · ★ 106 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/mirage/ocaml-rpc)
- [capnproto/capnp-ocaml · ★ 106 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/capnproto/capnp-ocaml)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.