imandra-ai/minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

语言：OCaml · GitHub 星标：39 · Fork：1

话题：imperative-programming · minisat · ocaml · sat

在 GitHub 上查看原仓库