A modular sat/smt solver with proof output.
☆107Oct 31, 2026Updated this week
Alternatives and similar repositories for mSAT
Users that are interested in mSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [research] A modular SMT solver in OCaml, based on mcSAT☆37Jan 1, 2024Updated 2 years ago
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 3 years ago
- An ocaml implementation of conflict-driven reasoning☆15Jul 13, 2018Updated 8 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated 2 years ago
- Yet another type combinator library☆56Mar 10, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple OCaml interface for Gnuplot☆11Oct 6, 2021Updated 5 years ago
- automatic ci configuration for the people☆36Nov 20, 2019Updated 6 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆20Sep 5, 2014Updated 12 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- Trivial/Tagless Polytypic Functions☆24Apr 14, 2020Updated 6 years ago
- Matching Regular Expressions with OCaml Patterns☆56Jul 13, 2026Updated 3 months ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- Pure OCaml implementation of Zlib.☆120Oct 1, 2026Updated last month
- Pretty-printing for error source locations☆39Jun 1, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Staged metaprogramming in stock OCaml☆155Mar 24, 2024Updated 2 years ago
- Bindings to the various POSIX APIs☆29Mar 8, 2026Updated 7 months ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)☆97Sep 12, 2023Updated 3 years ago
- OCaml library for handling dates and times.☆47Apr 21, 2026Updated 6 months ago
- Abstract domain library for sets☆10Feb 23, 2023Updated 3 years ago
- OCaml + Fly.io☆11Updated this week
- Software construction and deployment kit☆41Oct 21, 2026Updated last week
- A simple state-machine framework for OCaml based on QCheck☆66Sep 24, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Requirement traceability tool for OCaml☆13Jun 21, 2015Updated 11 years ago
- OCaml library to access Maildir folders☆19Feb 25, 2019Updated 7 years ago
- Library for writing arbitrary jupyter kernels in OCaml.☆17Apr 20, 2022Updated 4 years ago
- Dynamic records in OCaml☆26Apr 28, 2023Updated 3 years ago
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆72Oct 27, 2026Updated last week
- Parser combinators built for speed and memory efficiency☆707Sep 12, 2024Updated 2 years ago
- An OCaml library for describing and simulating synchronous finite state machines")☆32Mar 30, 2021Updated 5 years ago
- Parser and printer for date-times in ISO8601☆30Feb 8, 2024Updated 2 years ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Small tensor library a la GLSL☆17Oct 28, 2022Updated 4 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆41Jan 30, 2022Updated 4 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆28Jul 13, 2023Updated 3 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Apr 16, 2022Updated 4 years ago
- A library for printing OCaml values with sharing☆26Apr 1, 2022Updated 4 years ago
- Property fuzzing for OCaml☆204Nov 18, 2025Updated 11 months ago