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
• skydeck / cmitomli

  View on GitHub
  Convert a cmi file back to an mli interface
  ☆13Oct 4, 2012Updated 13 years ago
• louisabraham / domical

  View on GitHub
  In-browser OCaml notebooks 🐪
  ☆26Apr 9, 2019Updated 6 years ago
• crev-dev / recursive-digest

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

  View on GitHub
  Some fun with creating little collaborative browser things...
  ☆11Apr 25, 2021Updated 4 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
• chetmurthy / ensemble

  View on GitHub
  The Ensemble distributed communications toolkit
  ☆13Jul 26, 2020Updated 5 years ago
• ahrefs / ocaml-errortrace

  View on GitHub
  ☆15Dec 11, 2020Updated 5 years ago
• tarides / cactus

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

  View on GitHub
  L-system interpreter in OCaml
  ☆21Dec 10, 2015Updated 10 years 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
• patricoferris / jsoo-p5

  View on GitHub
  Js_of_ocaml bindings for the p5.js library
  ☆11May 14, 2024Updated last year
• ezyang / eff

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

  View on GitHub
  Unicode text for OCaml
  ☆14Feb 19, 2018Updated 8 years ago
• barko / bentov

  View on GitHub
  OCaml implementation of histogram-approximation algorithm
  ☆15Oct 28, 2022Updated 3 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
• yomimono / url-shortener

  View on GitHub
  Example URL shortener MirageOS unikernel using Chamelon.
  ☆18Apr 28, 2022Updated 3 years ago
• c-cube / sidekick

  View on GitHub
  A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
  ☆26Updated this week
• philzook58 / duckegg

  View on GitHub
  An experiment in using DuckDB for a datalog / egg
  ☆27Oct 11, 2023Updated 2 years ago
• mirage / irmin-rpc

  View on GitHub
  RPC client/server for Irmin
  ☆19Aug 5, 2021Updated 4 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 10 months ago
• delamonpansie / camlfiber

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

  View on GitHub
  ☆31Nov 26, 2025Updated 3 months ago
• vocal-project / vocal

  View on GitHub
  ☆49Mar 29, 2021Updated 4 years ago
• backtracking / creal

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

  View on GitHub
  A simple tool and library to embed files and directories inside an OCaml executables
  ☆20Apr 11, 2022Updated 3 years ago
• burgerdev / ocaml-rfc7748

  View on GitHub
  Elliptic Curve Diffie-Hellman on Edwards Curves (X25519, X448)
  ☆11Oct 30, 2020Updated 5 years ago
• Octachron / typed-musings

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

  View on GitHub
  mini-dalle in OCaml
  ☆39Nov 6, 2022Updated 3 years ago
• jackpeck / llama2.ml

  View on GitHub
  Llama2 inference in one file of pure OCaml.
  ☆27Sep 16, 2023Updated 2 years ago
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 3 years ago
• gpetiot / Frama-C-Mutation

  View on GitHub
  Generation of mutant programs
  ☆20Oct 31, 2018Updated 7 years ago
• c-cube / mc2

  View on GitHub
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Jan 1, 2024Updated 2 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 2 years ago