https://github.com/imandra-ai/minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.
https://github.com/imandra-ai/minisat-ml

imperative-programming minisat ocaml sat

Last synced: about 1 month ago
JSON representation

Faithful reimplementation of Minisat 2.2 in OCaml.

• Host: GitHub
• URL: https://github.com/imandra-ai/minisat-ml
• Owner: imandra-ai
• License: other
• Created: 2019-03-27T01:42:56.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2023-03-26T04:37:08.000Z (almost 2 years ago)
• Last Synced: 2024-04-20T00:54:19.179Z (9 months ago)
• Topics: imperative-programming, minisat, ocaml, sat
• Language: OCaml
• Size: 488 KB
• Stars: 38
• Watchers: 9
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project