Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

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

bindings minisat ocaml rust sat

Last synced: 3 months ago
JSON representation

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

Host: GitHub
URL: https://github.com/c-cube/batsat-ocaml
Owner: c-cube
Created: 2018-12-04T21:37:19.000Z (about 6 years ago)
Default Branch: master
Last Pushed: 2022-03-23T16:16:21.000Z (almost 3 years ago)
Last Synced: 2024-04-20T00:54:15.911Z (9 months ago)
Topics: bindings, minisat, ocaml, rust, sat
Language: OCaml
Homepage: https://c-cube.github.io/batsat-ocaml/
Size: 985 KB
Stars: 11
Watchers: 4
Forks: 2
Open Issues: 0
Metadata Files:
- Readme: README.md

Awesome Lists containing this project

README

        # BatSat-OCaml [![build](https://github.com/c-cube/batsat-ocaml/workflows/build/badge.svg)](https://github.com/c-cube/batsat-ocaml/actions?query=workflow%3Abuild)

OCaml bindings to [batsat](https://github.com/c-cube/batsat).

## License

MIT licensed.