{"id":16613128,"url":"https://github.com/c-cube/ocaml-qbf","last_synced_at":"2025-10-29T18:31:00.519Z","repository":{"id":51104234,"uuid":"25134480","full_name":"c-cube/ocaml-qbf","owner":"c-cube","description":"OCaml bindings to QBF solver(s)","archived":false,"fork":false,"pushed_at":"2023-02-22T02:08:28.000Z","size":372,"stargazers_count":10,"open_issues_count":2,"forks_count":4,"subscribers_count":6,"default_branch":"master","last_synced_at":"2025-02-02T04:04:01.678Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/c-cube.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2014-10-12T22:49:40.000Z","updated_at":"2023-07-08T10:37:17.000Z","dependencies_parsed_at":"2022-09-09T16:02:02.274Z","dependency_job_id":null,"html_url":"https://github.com/c-cube/ocaml-qbf","commit_stats":null,"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/c-cube%2Focaml-qbf","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/c-cube%2Focaml-qbf/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/c-cube%2Focaml-qbf/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/c-cube%2Focaml-qbf/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/c-cube","download_url":"https://codeload.github.com/c-cube/ocaml-qbf/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":238864402,"owners_count":19543533,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-12T01:46:04.483Z","updated_at":"2025-10-29T18:30:55.176Z","avatar_url":"https://github.com/c-cube.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"# OCaml-QBF\n\nLibrary to deal with [Quantified Boolean Formulas](https://en.wikipedia.org/wiki/True_quantified_Boolean_formula)\nin OCaml.\n\n|                                                        Linux, MacOS, Windows                                                         |\n| :----------------------------------------------------------------------------------------------------------------------------------: |\n| [![ci](https://github.com/c-cube/ocaml-qbf/workflows/ci/badge.svg)](https://github.com/c-cube/ocaml-qbf/actions?query=workflow%3Aci) |\n\n## Organization\n\n- The main library, `qbf`, contains types and functions to deal with\n  representing boolean literals and quantified formulas, as well as\n  a generic interface for solvers.\n- A sub-library, `qbf.quantor`, contains a\n  binding to the [quantor](http://fmv.jku.at/quantor/) QBF solver. The solver\n  itself and [Picosat (version 535)](http://fmv.jku.at/picosat/) are packaged with\n  the library for convenience (they are rarely packaged on distributions, and\n  require some compilation options such as `-fPIC` to work with OCaml).\n\n## Tested configurations\n\nIt works with any version of OCaml from 4.08.x to 4.10.x onwards.\n\n1. tested on linux (Ubuntu 16.04, x86_64),\n2. tested on MacOS,\n3. tested on Windows using Cygwin32 and Cygwin64 by cross-compilating to\n   native win32 under using the `mingw64-i686` (respectively `mingw64-x86_64`)\n   cross-compiler.\n4. Should also work under WSL and WSL2 on Windows 10.\n\n## License\n\nThe library and its dependencies are licensed under the BSD license\n(and the MIT license for picosat), which is fairly permissive.\n\n## Installation\n\nUsing opam:\n\n    opam install qbf\n\nFrom source:\n\n    opam install . --working-dir --deps-only\n    dune build\n\n## Known issues\n\n* `process killed by signal -5` is due to a dlopen problem: the binary has been\n  linked against the shared library `dllqbf-quantor_stubs.so` but this shared\n  lib isn't installed yet.\n* `process killed by signal -10` is still unknown. It was happening in\n  travis-ci. My workaround was to remove the travis-ci cache (~/.opam was\n  cached between two builds).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fc-cube%2Focaml-qbf","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fc-cube%2Focaml-qbf","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fc-cube%2Focaml-qbf/lists"}