#

minisat

Here are 3 public repositories matching this topic...

touist / touist

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

education research ocaml problem-solving propositional-logic smt minisat smt-lib sat dimacs yices qbf

Updated Jul 18, 2024
OCaml

imandra-ai / minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

ocaml minisat sat imperative-programming

Updated Mar 26, 2023
OCaml

c-cube / batsat-ocaml

OCaml bindings for batsat (https://github.com/c-cube/batsat)

rust ocaml bindings minisat sat

Updated Mar 23, 2022
OCaml

Improve this page

Add a description, image, and links to the minisat topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the minisat topic, visit your repo's landing page and select "manage topics."