https://github.com/c-cube/ocaml-minisat

OCaml bindings to Minisat
https://github.com/c-cube/ocaml-minisat

binding c cpp minisat ocaml sat

Last synced: 2 months ago
JSON representation

OCaml bindings to Minisat

• Host: GitHub
• URL: https://github.com/c-cube/ocaml-minisat
• Owner: c-cube
• License: bsd-2-clause
• Created: 2016-07-13T15:34:26.000Z (over 8 years ago)
• Default Branch: main
• Last Pushed: 2024-05-06T15:03:57.000Z (8 months ago)
• Last Synced: 2024-10-13T01:46:09.582Z (3 months ago)
• Topics: binding, c, cpp, minisat, ocaml, sat
• Language: C++
• Homepage: https://c-cube.github.io/ocaml-minisat/
• Size: 717 KB
• Stars: 13
• Watchers: 6
• Forks: 4
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Minisat [![Build](https://github.com/c-cube/ocaml-minisat/actions/workflows/main.yml/badge.svg)](https://github.com/c-cube/ocaml-minisat/actions/workflows/main.yml)

Bindings to the SAT solver [Minisat](http://minisat.se/) 2.2, with the solver included.

## Docs

See https://c-cube.github.io/ocaml-minisat/