c-cube/batsat external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

c-cube/batsat

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/c-cube/batsat)

Close

c-cube / batsatView on GitHubMore

• External links
• Readme badge

A (parametrized) Rust SAT solver originally based on MiniSat

☆32Jan 20, 2025Updated last year

Alternatives and similar repositories for batsat

Users that are interested in batsat are comparing it to the libraries listed below

• qnighy / ratsat

  View on GitHub
  MiniSat reimplemented in Rust
  ☆20Apr 18, 2018Updated 7 years ago
• imandra-ai / minisat-ml

  View on GitHub
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆39Mar 26, 2023Updated 2 years ago
• crev-dev / recursive-digest

  View on GitHub
  A recursive file-system digest (hash)
  ☆13Apr 4, 2023Updated 2 years ago
• chetmurthy / ensemble

  View on GitHub
  The Ensemble distributed communications toolkit
  ☆13Jul 26, 2020Updated 5 years ago
• ezyang / eff

  View on GitHub
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Aug 31, 2020Updated 5 years ago
• patricoferris / jsoo-p5

  View on GitHub
  Js_of_ocaml bindings for the p5.js library
  ☆11May 14, 2024Updated last year
• patricoferris / irmin-socket

  View on GitHub
  Some fun with creating little collaborative browser things...
  ☆11Apr 25, 2021Updated 4 years ago
• skydeck / cmitomli

  View on GitHub
  Convert a cmi file back to an mli interface
  ☆13Oct 4, 2012Updated 13 years ago
• LaurentMazare / ocaml-wasmtime

  View on GitHub
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35May 2, 2022Updated 3 years ago
• fafk / merkle_storage

  View on GitHub
  Key-value git-like storage with full history backed by RocksDB
  ☆13Aug 18, 2020Updated 5 years ago
• louisabraham / domical

  View on GitHub
  In-browser OCaml notebooks 🐪
  ☆26Apr 9, 2019Updated 6 years ago
• ahrefs / ocaml-errortrace

  View on GitHub
  ☆15Dec 11, 2020Updated 5 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 9 months ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• barko / bentov

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆15Oct 28, 2022Updated 3 years ago
• mirage / repr

  View on GitHub
  ☆31Nov 26, 2025Updated 3 months ago
• c-cube / sqlite3_utils

  View on GitHub
  [beta] High-level wrapper around ocaml-sqlite3
  ☆17Apr 28, 2022Updated 3 years ago
• hcarty / ppx_defer

  View on GitHub
  OCaml extension for a Go-ish [%defer ...] syntax
  ☆16May 30, 2022Updated 3 years ago
• dbuenzli / utext

  View on GitHub
  Unicode text for OCaml
  ☆14Feb 19, 2018Updated 8 years ago
• ktahar / ocaml-lp

  View on GitHub
  LP and MIP modeling in OCaml
  ☆29Jun 24, 2025Updated 8 months ago
• Octachron / typed-musings

  View on GitHub
  Exploring the corners of OCaml type system
  ☆18Jan 26, 2026Updated last month
• tarides / cactus

  View on GitHub
  A Btree library in OCaml
  ☆18Mar 30, 2023Updated 2 years ago
• vocal-project / vocal

  View on GitHub
  ☆49Mar 29, 2021Updated 4 years ago
• delamonpansie / camlfiber

  View on GitHub
  Fast native fibers for OCaml
  ☆39Nov 27, 2018Updated 7 years ago
• mirage / irmin-rpc

  View on GitHub
  RPC client/server for Irmin
  ☆19Aug 5, 2021Updated 4 years ago
• kit-ty-kate / opam-build

  View on GitHub
  Experimental opam plugin
  ☆19Dec 3, 2025Updated 2 months ago
• yomimono / url-shortener

  View on GitHub
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Apr 28, 2022Updated 3 years ago
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 years ago
• OCamlPro / memthol

  View on GitHub
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆29Nov 17, 2022Updated 3 years ago
• arlencox / mlbdd

  View on GitHub
  A not-quite-so-simple Binary Decision Diagrams implementation for OCaml
  ☆37Jan 30, 2022Updated 4 years ago
• cfcs / mirage-framebuffer

  View on GitHub
  Experimental portable bitmap framebuffer graphics for MirageOS
  ☆17Jul 14, 2020Updated 5 years ago
• ahrefs / ocaml-ahrocksdb

  View on GitHub
  OCaml bindings for RocksDB
  ☆22Oct 26, 2023Updated 2 years ago
• gpetiot / Frama-C-Mutation

  View on GitHub
  Generation of mutant programs
  ☆20Oct 31, 2018Updated 7 years ago
• Lupus / ocaml2go

  View on GitHub
  OCaml to Golang compiler
  ☆40Dec 12, 2020Updated 5 years ago
• OCamlPro / opam-bin

  View on GitHub
  Binary packages for OPAM with local and remote repositories
  ☆17Dec 27, 2022Updated 3 years ago
• philzook58 / duckegg

  View on GitHub
  An experiment in using DuckDB for a datalog / egg
  ☆27Oct 11, 2023Updated 2 years ago
• jackpeck / llama2.ml

  View on GitHub
  Llama2 inference in one file of pure OCaml.
  ☆27Sep 16, 2023Updated 2 years ago
• kit-ty-kate / opam-grep

  View on GitHub
  Script that greps anything in the sources of every opam packages
  ☆25Oct 10, 2025Updated 4 months ago
• dinosaure / multipart_form

  View on GitHub
  According an other RFC2388...
  ☆26Feb 12, 2026Updated 2 weeks ago