LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

OCaml

MiniSat-ocaml

OCaML bindings for the MiniSat satisfiability solver.

OCamlEmerging
GitHub
Stars
7
Forks
4
Contributors
—
Last push
198mo ago

Recent commits

Latest commits.

  • fix lintian complaints
    fd29de6Pietro Abate198mo ago
  • - adjust dependencies from libminisat to minisat2
    a6648a4Pietro Abate198mo ago
  • debianization
    c438008Pietro Abate206mo ago
  • fix minor compilation problems
    600e4bbPietro Abate198mo ago
  • object interface and cleanup
    c82d8d0Pietro Abate206mo ago
initial commit minisat2 branch
572ddd8Pietro Abate206mo ago
  • Version 0.2
    55106bcFlavio Lerda206mo ago

    • Top contributors

    Builders behind this project.

    No contributor data available.